@incollection{Jamroga12specification,
  author        = {W. Jamroga and W. Penczek},
  title         = {Specification and Verification of Multi-Agent Systems},
  booktitle     = {Lectures on Logic and Computation},
  editor        = {N. Bezhanishvili and V. Goranko},
  publisher     = {Springer},
  pages         = {210--263},
  year          = {2012},
  series        = {LNCS},
  volume        = {7388},
  ulkey         = {Jamroga:9952}
}