Author:
Faella Marco,Napoli Margherita,Parente Mimmo
Publisher
Springer Berlin Heidelberg
Reference21 articles.
1. Ågotnes, T., Goranko, V., Jamroga, W.: Alternating-time temporal logics with irrevocable strategies. In: Proc. of TARK 2007, pp. 15–24. ACM, New York (2007)
2. Alur, R., Henzinger, T.A., Kupferman, O.: Alternating-time temporal logic. J. ACM 49, 672–713 (2002)
3. Lecture Notes in Computer Science;R. Alur,1998
4. Bianco, A., Mogavero, F., Murano, A.: Graded computation tree logic. In: Proc. of LICS 2009 (2009)
5. Lecture Notes in Computer Science;T. Brihaye,2008
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献