Author:
Alur Rajeev,La Torre Salvatore,Madhusudan P.
Publisher
Springer Berlin Heidelberg
Reference20 articles.
1. Lecture Notes in Computer Science;R. Alur,2001
2. Alur, R., Henzinger, T., Kupferman, O.: Alternating-time temporal logic. Journal of the ACM 49(5), 1–42 (2002)
3. Lecture Notes in Computer Science;R. Alur,2003
4. Lecture Notes in Computer Science;T. Ball,2001
5. Lecture Notes in Computer Science;M. Benedikt,2001
Cited by
8 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. A General Modular Synthesis Problem for Pushdown Systems;Lecture Notes in Computer Science;2015-12-25
2. Visibly Pushdown Modular Games;Electronic Proceedings in Theoretical Computer Science;2014-08-24
3. Modular Synthesis with Open Components;Lecture Notes in Computer Science;2013
4. An Automata-Theoretic Approach to Infinite-State Systems;Time for Verification;2010
5. Modular strategies for recursive game graphs;Theoretical Computer Science;2006-03