Xavier Nicollin 人物
相关论文查看全部 (2)
The algorithmic analysis of hybrid systems
1995Theoretical Computer Science引用 1875
Symbolic Model Checking for Real-Time Systems
1994Information and Computation引用 828
相关公司查看全部 (2)
Cornell UniversityUNIVERSITY
VerimagRESEARCH_INSTITUTE
相关事件
暂无数据
相关专利
暂无数据
相关文章
暂无数据