K
[KP04] Magdalena Kacprzak and Wojciech Penczek. Unbounded Model Checking for Alternating-Time Temporal Logic. In AAMAS'04, pages 646-653. IEEE Comp. Soc. Press, August 2004. 
@inproceedings{aamas2004-KP,
  author =              {Kacprzak, Magdalena and Penczek, Wojciech},
  title =               {Unbounded Model Checking for Alternating-Time
                         Temporal Logic},
  booktitle =           {{P}roceedings of the 3rd {I}nternational {J}oint
                         {C}onference on {A}utonomous {A}gents and
                         {M}ultiagent {S}ystems ({AAMAS}'04)},
  acronym =             {{AAMAS}'04},
  publisher =           {IEEE Comp. Soc. Press},
  pages =               {646-653},
  year =                {2004},
  month =               aug,
}
List of authors