@inproceedings{CFK+13,
  author    = {T. Chen and
               V. Forejt and
               M. Kwiatkowska and
               D. Parker and
               A. Simaitis},
  title     = {PRISM-games: A Model Checker for Stochastic Multi-Player
               Games},
  booktitle = {Proc. 19th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'13)},
  year      = {2013},
  pages     = {185-191},
  ee        = {http://dx.doi.org/10.1007/978-3-642-36742-7_13},
  crossref  = {DBLP:conf/tacas/2013},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
@proceedings{DBLP:conf/tacas/2013,
  editor    = {Nir Piterman and
               Scott A. Smolka},
  title     = {Tools and Algorithms for the Construction and Analysis of
               Systems - 19th International Conference, TACAS 2013, Held
               as Part of the European Joint Conferences on Theory and
               Practice of Software, ETAPS 2013, Rome, Italy, March 16-24,
               2013. Proceedings},
  booktitle = {TACAS},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {7795},
  year      = {2013},
  isbn      = {978-3-642-36741-0},
  ee        = {http://dx.doi.org/10.1007/978-3-642-36742-7},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}