Author:
Nicollin X.,Olivero A.,Sifakis J.,Yovine S.
Publisher
Springer Berlin Heidelberg
Reference10 articles.
1. R. Alur, C. Courcoubetis, and D. Dill. Model-checking for real time systems. In Proc. 5th Symp. on Logics in Computer Science, pages 414–425, IEEE Computer Society Press, 1990.
2. R. Alur, C. Courcoubetis, T. A. Henzinger, and Pei-Hsin Ho. Hybrid automata: an algorithmic approach to the specification and analysis of hybrid systems. In Workshop on Theory of Hybrid Systems, Lyngby, Denmark, October 1992.
3. T.A. Henzinger, Z. Manna, and A. Pnueli. Timed transition systems. In Proc. REX Workshop “Real-Time: Theory in Practice”, Lecture Notes in Computer Science 600, Springer-Verlag, the Netherlands, June 1991.
4. T.A. Henzinger, X. Nicollin, J. Sifakis, and S. Yovine. Symbolic model-checking for real-time systems. In Proc. 7th Symp. on Logics in Computer Science, IEEE Computer Society Press, 1992.
5. K.M. Hansen, A.P. Ravn, and H. Rischel. Specifying and verifying requirements of real-time systems. Proc. ACM SIGSOFT'91 Conf. on Software for Critical Systems, 15(5):44–54, 1991.
Cited by
65 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献