Author:
Alur R.,Courcoubetis C.,Halbwachs N.,Dill D.,Wong-Toi H.
Publisher
Springer Berlin Heidelberg
Reference20 articles.
1. R. Alur, C. Courcoubetis, and D. Dill. Model-checking for real-time systems. In Proceedings of the Fifth IEEE Symposium on Logic in Computer Science, pages 414–425, 1990.
2. R. Alur and D. Dill. Automata for modeling real-time systems. In Automata, Languages and Programming: Proceedings of the 17th ICALP, Lecture Notes in Computer Science 443, pages 322–335. Springer-Verlag, 1990.
3. R. Alur, T. Feder, and T. Henzinger. The benefits of relaxing punctuality. In Proceedings of the Tenth ACM Symposium on Principles of Distributed Computing, pages 139–152, 1991.
4. R. Alur and T. Henzinger. A really temporal logic. In Proceedings of the 30th IEEE Symposium on Foundations of Computer Science, pages 164–169, 1989. Journal version to appear in the Journal of the ACM.
5. A. Bouajjani, J. Fernandez, and N. Halbwachs. Minimal model generation. In Proceedings of the Second Workshop on Computer-Aided Verification, Rutgers University, 1990.
Cited by
51 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献