@article{Ellen2014statistical,
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}
}
@COMMENT{Bibtex file generated on }