@InProceedings{CFK+12b,
author={T. Chen and V. Forejt and M. Kwiatkowska and A. Simaitis and A. Trivedi and M. Ummels},
title={Playing Stochastic Games Precisely},
booktitle={23rd International Conference on Concurrency Theory (CONCUR'12)},
year={2012},

editor={},
pages={348-363},
organization={},
publisher={Springer},
series={LNCS},
volume={7454},
address={},
month={},
note={},
key={}
}