@conference {350,
	title = {Probabilistic Bisimulation for Realistic Schedulers},
	booktitle = {{FM} 2015: Formal Methods - 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings},
	year = {2015},
	doi = {10.1007/978-3-319-19249-9_16},
	url = {http://dx.doi.org/10.1007/978-3-319-19249-9_16},
	author = {Christian Eisentraut and Jens Chr. Godskesen and Holger Hermanns and Lei Song and Lijun Zhang}
}