@conference {177,
	title = {Verification of Open Interactive Markov Chains},
	booktitle = {IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2012, December 15-17, 2012, Hyderabad, India},
	year = {2012},
	publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik},
	organization = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik},
	isbn = {978-3-939897-47-7},
	author = {Tom{\'a}s Br{\'a}zdil and Holger Hermanns and Jan Kr{\v c}{\'a}l and Jan Kret\'{\i}nsk{\'y} and Vojtech Reh{\'a}k},
	editor = {Deepak D{\textquoteright}Souza and Telikepalli Kavitha and Jaikumar Radhakrishnan}
}