Author:
Frehse Goran,Jha Sumit Kumar,Krogh Bruce H.
Publisher
Springer Berlin Heidelberg
Reference9 articles.
1. Lecture Notes in Computer Science;T.A. Henzinger,1996
2. Lecture Notes in Computer Science;E.M. Clarke,2000
3. Lecture Notes in Computer Science;S.K. Jha,2007
4. Henzinger, T.A.: The theory of hybrid automata. In: Proc. 11th Annual IEEE Symposium on Logic in Computer Science, LICS 1996, New Brunswick, New Jersey, July 27-30, 1996, pp. 278–292. IEEE Computer Society Press, Los Alamitos (1996)
5. Li, X., Jha, S.K., Bu, L.: Towards an Efficient Path-Oriented Tool for Bounded Reachability analysis of Linear Hybrid Systems using Linear Programming. In: BMC 2006: Proceedings of the Workshop on Bounded Model Checking (2006)
Cited by
35 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献