@conference {278,
	title = {Bisimulations and Logical Characterizations on Continuous-Time Markov Decision Processes},
	booktitle = {Verification, Model Checking, and Abstract Interpretation - 15th International Conference, {VMCAI} 2014, San Diego, CA, USA, January 19-21, 2014, Proceedings},
	year = {2014},
	doi = {10.1007/978-3-642-54013-4_6},
	url = {http://dx.doi.org/10.1007/978-3-642-54013-4_6},
	author = {Lei Song and Lijun Zhang and Jens Chr. Godskesen}
}