Author:
Baier Christel,Blechmann Tobias,Klein Joachim,Klüppelholz Sascha
Publisher
Springer Berlin Heidelberg
Reference20 articles.
1. Alur, R., Henzinger, T.: Reactive Modules. Formal Methods in System Design: An Intern. J. 15(1), 7–48 (1999)
2. Alur, R., Henzinger, T., Kupferman, O.: Alternating-Time Temporal Logic. JACM 49, 672–713 (2002)
3. Arbab, F.: Reo: A Channel-Based Coordination Model for Component Composition. Mathematical Structures in Comp. Sci. 14(3), 329–366 (2004)
4. Lecture Notes in Computer Science;C. Baier,2009
5. Baier, C., Katoen, J.-P.: Principles of Model Checking. MIT Press, Cambridge (2008)
Cited by
15 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献