@conference {280,
	title = {Probabilistic Bisimulations for {PCTL} Model Checking of Interval MDPs (extended version)},
	booktitle = {Proceedings 1st International Workshop on Synthesis of Continuous Parameters, SynCoP 2014, Grenoble, France, 6th April 2014.},
	year = {2014},
	doi = {10.4204/EPTCS.145.4},
	url = {http://dx.doi.org/10.4204/EPTCS.145.4},
	author = {Vahid Hashemi and Hassan Hatefi and Jan Kr{\v c}{\'a}l}
}