A. Prasad Sistla 人物
相关论文查看全部 (7)
Automatic verification of finite-state concurrent systems using temporal logic specifications
1986ACM Transactions on Programming Languages and Systems引用 3552
The complexity of propositional linear temporal logics
1985Journal of the ACM引用 1105
Modeling and querying moving objects
2002引用 611
Reasoning about systems with many processes
1992Journal of the ACM引用 440
相关公司查看全部 (4)
Harvard University PressCOMPANY
University of Illinois ChicagoUNIVERSITY
University of Massachusetts AmherstUNIVERSITY
TE Laboratories (Ireland)COMPANY
相关事件
暂无数据
相关专利
暂无数据
相关文章
暂无数据