E. M. Clarke 人物
相关论文查看全部 (10)
Model Checking
1999引用 4257
Automatic verification of finite-state concurrent systems using temporal logic specifications
1986ACM Transactions on Programming Languages and Systems引用 3552
Symbolic model checking: 1020 States and beyond
1992Information and Computation引用 2693
The complexity of propositional linear temporal logics
1985Journal of the ACM引用 1105
相关公司查看全部 (1)
Carnegie Mellon UniversityUNIVERSITY
相关事件
暂无数据
相关专利
暂无数据
相关文章
暂无数据