@conference {87,
	title = {Quantitative Analysis of Randomized Distributed Systems and Probabilistic Automata},
	booktitle = {Algebraic Informatics, 5th International Conference, CAI13},
	series = {Lecture Notes in Computer Science },
	volume = {8080},
	year = {2013},
	pages = {4-5},
	publisher = {Springer},
	organization = {Springer},
	chapter = {4-5},
	doi = {10.1007/978-3-642-40663-8_2},
	author = {Christel Baier}
}