@InProceedings{BKW14,
author={N. Basset and M. Kwiatkowska and C. Wiltsche},
title={Compositional Controller Synthesis for Stochastic Games},
booktitle={Proc. 25th International Conference on Concurrency Theory (CONCUR'14)},
year={2014},

editors={P. Baldan and D. Gorla},
pages={173-187},
organization={},
publisher={Springer},
series={LNCS},
volume={8704},
address={},
month={},
note={},
key={}
}