J
[JD05] Wojciech Jamroga and Jürgen Dix. Do Agents Make Model Checking Explode (Computationally)?. In CEEMAS'05, Lecture Notes in Artificial Intelligence 23690, pages 398-407. Springer-Verlag, September 2005. 
@inproceedings{ceemas2005-JD,
  author =              {Jamroga, Wojciech and Dix, J{\"u}rgen},
  title =               {Do Agents Make Model Checking Explode
                         (Computationally)?},
  editor =              {P{\v e}chouc{\v e}k, Michal and Petta, Paolo and
                         Varga, L{\'a}szl{\'o} Zsolt},
  booktitle =           {{P}roceedings of the 4th {I}nternational {C}entral
                         and {E}astern {E}uropean {C}onference on
                         {M}ulti-{A}gent {S}ystems ({CEEMAS}'05)},
  acronym =             {{CEEMAS}'05},
  publisher =           {Springer-Verlag},
  series =              {Lecture Notes in Artificial Intelligence},
  volume =              {23690},
  pages =               {398-407},
  year =                {2005},
  month =               sep,
}
List of authors