搜索历史记录选项已关闭，请开启搜索历史记录选项。
作者： Zohar Manna , Amir Pnueli
DOI:
关键词:
摘要:
暂无可下载资源，当前可以选择系统获取到有开放资源时 通知我或者直接发起求助 文献求助
,2011, 引用: 0
Lecture Notes in Computer Science,2003, 引用: 8
international conference on computational science and its applications,2005, 引用: 2
Lecture Notes in Computer Science,1996, 引用: 1
formal methods,2000, 引用: 85
tools and algorithms for construction and analysis of systems,2000, 引用: 52
computer aided verification,1998, 引用: 22
international workshop automated verification critical systems,2007, 引用: 3
Electronic Notes in Theoretical Computer Science,2006, 引用: 0
european conference on object-oriented programming,2015, 引用: 11
