Author:
Bu Lei,Cimatti Alessandro,Li Xuandong,Mover Sergio,Tonetta Stefano
Publisher
Springer Berlin Heidelberg
Reference19 articles.
1. Alur, R., Dang, T., Ivancic, F.: Predicate abstraction for reachability analysis of hybrid systems. ACM Trans. Embedded Comput. Syst. 5(1), 152–199 (2006)
2. Audemard, G., Bozzano, M., Cimatti, A., Sebastiani, R.: Verifying Industrial Hybrid Systems with MathSAT. Electr. Notes Theor. Comput. Sci. 119(2), 17–32 (2005)
3. Lecture Notes in Computer Science;J. Bengtsson,1998
4. Lecture Notes in Computer Science;R. Bruttomesso,2008
5. Bu, L., Li, X.: Path-Oriented Bounded Reachability Analysis of Compositional Linear Hybrid Systems. Manuscript submitted (2008)
Cited by
7 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献