@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},

editor={N. Piterman and S. Smolka},
pages={185--191},
organization={},
publisher={Springer},
series={LNCS},
volume={7795},
address={},
month={},
note={},
key={}
}