Publisher
Springer Berlin Heidelberg
Reference17 articles.
1. R.Alur, C.Courcoubetis, T.A. Henzinger and P.-H. Ho, Hybrid automata: an algorithmic approach to the specification and analysis of hybrid systems, Workshop on Theory of Hybrid Systems, Lyngby, Denmark, October 1992.
2. R.Alur and D.Dill, Automata for modeling real-time systems, Proc. 17th ICALP, Lecture Notes in Computer Science 443, Springer-Verlag, 1990.
3. R.Alur and T.Henzinger, Logics and models of real-time: A survey, Proc. REX Workshop Real-Time: Theory in Practice, Lecture Notes in Computer Science 600, Springer-Verlag, The Netherlands, June 1991.
4. R.Alur, T.A. Henzinger and P.-H. Ho, Automatic symbolic verification of embedded systems, Proc. of the 14th Annual Real-time Systems Symposium, IEEE Computer Society Press, 1993.
5. R.Alur, A.Itai, R.Kurshan and M.Yannakakis, Timing Verification by Successive Approximation, Proc. 4th Workshop Computer-Aided Verification, Lecture Notes in Computer Science 663, Springer-Verlag, 1992.
Cited by
55 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献