Fabio Mogavero, Aniello Murano, Moshe Y. Vardi. Reasoning About Strategies. In Kamal Lodaya, Meena Mahajan, editors, IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2010, December 15-18, 2010, Chennai, India. Volume 8 of LIPIcs, pages 133-144, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2010. [doi]
No references recorded for this publication.
No citations of this publication recorded.