%2014

@INPROCEEDINGS {BBJKNN14,
	author			= {Dimitri Bohlender and Harold Bruintjes and Sebastian Junges and Jens Katelaan and Viet Yen Nguyen and Thomas Noll},
	title			= {A Review of Statistical Model Checking Pitfalls on Real-Time Stochastic Models},
	booktitle		= {Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications - 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part {II}},
	pages     		= {177--192},
	publisher		= {IEEE},
	publishedas		= {Druck Online},
	isbn			= {978-3-662-45231-8},
	language		= {eng},
	year			= {2014},
	timestamp		= {Mon, 29 Sep 2014 11:09:02 +0200},
	i11key			= {conference},
	for_reporting_period	= {2014}
}