@incollection{Bullingetal2010mcheck-book,
        Author = {Nils Bulling and J{\"u}rgen Dix and Wojciech Jamroga},
        Booktitle = {Specification and Verification of Multi-Agent Systems},
        Date-Added = {2010-07-13 10:27:36 +0200},
        Date-Modified = {2010-07-13 10:27:36 +0200},
        Editor = {Mehdi Dastani and Koen V. Hindriks and John-Jules Ch. Meyer},
        Publisher = {Springer},
        Title = {Model Checking Logics of Strategic Ability: Complexity},
        Year = {2010}}