Orna Kupferman 人物
相关论文查看全部 (6)
Alternating-time temporal logic
2002Journal of the ACM引用 1410
An automata-theoretic approach to branching-time model checking
2000Journal of the ACM引用 615
Model Checking of Safety Properties
2001Formal Methods in System Design引用 576
Alternating-time temporal logic
2002引用 314
相关公司查看全部 (3)
University of California SystemUNIVERSITY
University of California, BerkeleyUNIVERSITY
Hebrew University of JerusalemUNIVERSITY
相关事件
暂无数据
相关专利
暂无数据
相关文章
暂无数据