@conference {174,
	title = {Compositional Verification and Optimization of Interactive Markov Chains},
	booktitle = {CONCUR 2013 - Concurrency Theory - 24th International Conference, CONCUR 2013, Buenos Aires, Argentina, August 27-30, 2013. Proceedings},
	year = {2013},
	publisher = {Springer},
	organization = {Springer},
	address = {Buenos Aires},
	isbn = {978-3-642-40183-1},
	author = {Holger Hermanns and Jan Kr{\v c}{\'a}l and Jan Kret\'{\i}nsk{\'y}}
}