@conference {178,
	title = {On-the-Fly Confluence Detection for Statistical Model Checking},
	booktitle = {NASA Formal Methods, 5th International Symposium, NFM 2013, Moffett Field, CA, USA, May 14-16, 2013. Proceedings},
	year = {2013},
	publisher = {Springer},
	organization = {Springer},
	author = {Arnd Hartmanns and Mark Timmer},
	editor = {Guillaume Brat and Neha Rungta and Arnaud Venet}
}