Ernst Moritz Hahn. Model checking stochastic hybrid systems. PhD thesis, Saarland University, 2013. [doi]
@phdthesis{dnb-4042, title = {Model checking stochastic hybrid systems}, author = {Ernst Moritz Hahn}, year = {2013}, url = {http://d-nb.info/1052903118}, researchr = {https://researchr.org/publication/dnb-4042}, cites = {0}, citedby = {0}, school = {Saarland University}, }