搜索历史记录选项已关闭，请开启搜索历史记录选项。
作者： Cindy Eisner , Dana Fisman
DOI:
关键词:
摘要:
Lecture Notes in Computer Science,2014, 引用: 53
international joint conference on artificial intelligence,2011, 引用: 10
,2012, 引用: 7
,2012, 引用: 1
,2007, 引用: 9
conference on current trends in theory and practice of informatics,2012, 引用: 27
computer aided verification,2014, 引用: 265
computer aided verification,2015, 引用: 21
Information and Computation,2015, 引用: 16
Logic and Its Applications,2008, 引用: 28
acm.org