Publisher
Springer Berlin Heidelberg
Reference25 articles.
1. Lect Notes Comput Sci;A.B.K.+.9.7._.E. Asarin,1997
2. Lect Notes Comput Sci;R. Alur,1994
3. ACH+95._R. Alur, C. Courcoubetis, N. Halbwachs, T. Henzinger, P. Ho, X. Nicollin, A. Olivero, J. Sifakis, and S. Yovine. The algorithmic analysis of hybrid systems. Theoretical Computer Science B, 137, January 1995.
4. Rajeev Alur and David Dill. A theory of timed automata. Theoretical Computer Science B, 126:183–235, 1994.
5. Rajeev Alur, Thomas A. Henziger, and Hei-Hsin Ho. Automatic symbolic verification of embedded systems. IEEE Transactions On Software Engineering, 22(3):181–201, March 1996.
Cited by
95 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献