@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={Proc. 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={}
}