Author:
Asarin Eugene,Pace Gordon,Schneider Gerardo,Yovine Sergio
Publisher
Springer Berlin Heidelberg
Reference10 articles.
1. Lect Notes Comput Sci;E. Asarin,2000
2. Lect Notes Comput Sci;E. Asarin,2001
3. Lect Notes Comput Sci;E. Asarin,2002
4. T. A. Henzinger, P. W. Kopke, A. Puri, and P. Varaiya. What’s decidable about hybrid automata? In STOC’95, pages 373–382. ACM Press, 1995.
5. T. A. Henzinger, P.-H. Ho, and H. Wong-toi. Hytech: A model checker for hybrid systems. Software Tools for Technology Transfer, 1(1), 1997.
Cited by
7 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献