Thomas A. Henzinger 人物
相关论文查看全部 (10)
The algorithmic analysis of hybrid systems
1995Theoretical Computer Science引用 1875
The theory of hybrid automata
2002引用 1851
Alternating-time temporal logic
2002Journal of the ACM引用 1410
Interface automata
2001引用 1177
相关公司查看全部 (8)
University of California, BerkeleyUNIVERSITY
Laboratoire d'Informatique de Paris-NordRESEARCH_INSTITUTE
University of California SystemUNIVERSITY
Stanford UniversityUNIVERSITY
相关事件
暂无数据
相关专利
暂无数据
相关文章
暂无数据