Author:
de Alfaro Luca,Henzinger Thomas A.
Publisher
Springer Berlin Heidelberg
Reference15 articles.
1. R. Alur and T. A. Henzinger. Reactive modules. Formal Methods in System Design, 15:7–48, 1999.
2. R. Alur, T. A. Henzinger, and O. Kupferman. Alternating-time temporal logic. In 38th Symp. Foundations of Computer Science, pp. 100–109. IEEE Computer Society Press, 1997.
3. Lect Notes Comput Sci;R. Alur,1998
4. E. M. Clarke, O. Grumberg, and D. A. Peled. Model Checking. MIT Press, 1999.
5. L. de Alfaro and T. A. Henzinger. Interface automata. In 9th Symp. Foundations of Software Engineering. ACM Press, 2001.
Cited by
116 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献