@mastersthesis {173,
	title = {Model Checking Stochastic Hybrid Systems},
	volume = {Doktor der Ingenieurwissenschaften},
	year = {2012},
	month = {12/2012},
	pages = {192},
	school = {Universit{\"a}t des Saarlandes},
	type = {Doctoral Dissertation},
	address = {Saarbr{\"u}cken},
	url = {http://scidok.sulb.uni-saarland.de/volltexte/2013/5259/pdf/phdthesis.pdf},
	author = {Ernst Moritz Hahn}
}