@conference {169,
	title = {Deciding Probabilistic Automata Weak Bisimulation in Polynomial Time},
	booktitle = {IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2012, December 15-17, 2012, Hyderabad, India},
	series = {LIPIcs},
	volume = {18},
	year = {2012},
	pages = {435-447},
	publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik},
	organization = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik},
	isbn = {978-3-939897-47-7},
	author = {Holger Hermanns and Andrea Turrini},
	editor = {Deepak D{\textquoteright}Souza and Telikepalli Kavitha and Jaikumar Radhakrishnan}
}