@conference {168,
	title = {The Quest for Minimal Quotients for Probabilistic Automata},
	booktitle = {Tools and Algorithms for the Construction and Analysis of Systems - 19th International Conference, TACAS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings},
	series = {Lecture Notes in Computer Science},
	volume = {7795},
	year = {2013},
	pages = {16-31},
	publisher = {Springer},
	organization = {Springer},
	isbn = {978-3-642-36741-0},
	author = {Christian Eisentraut and Holger Hermanns and Johann Schuster and Andrea Turrini and Lijun Zhang},
	editor = {Nir Piterman and Scott A. Smolka}
}