@articleEllen2014statistical, Author = {Ellen, Christian and Gerwinn, Sebastian and Fränzle, Martin}, Title = {Statistical model checking for stochastic hybrid systems involving nondeterminism over continuous domains}, Journal = {International Journal on Software Tools for Technology Transfer}, Year = {2014}, Pages = {1-20}, Doi = {10.1007/s10009-014-0329-y}, Url = {http://dx.doi.org/10.1007/s10009-014-0329-y}, type = {article} @COMMENTBibtex file generated on