@conference {78,
	title = {Concurrency Meets Probability: Theory and Practice - (Abstract)},
	booktitle = {CONCUR 2013 {\textendash} Concurrency Theory},
	series = {Lecture Notes in Computer Science},
	volume = {8052},
	year = {2013},
	pages = {44-45},
	publisher = {Springer},
	organization = {Springer},
	author = {Joost-Pieter Katoen}
}