@conference {370,
	title = {Computing Behavioral Relations for Probabilistic Concurrent Systems},
	booktitle = {{ROCKS}},
	year = {2012},
	doi = {10.1007/978-3-662-45489-3_5},
	url = {http://dx.doi.org/10.1007/978-3-662-45489-3_5},
	author = {Daniel Gebler and Vahid Hashemi and Andrea Turrini}
}