@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} }