%0 Thesis %1 phd/dnb/Hahn13a %A Hahn, Ernst Moritz %D 2013 %K dblp %T Model checking stochastic hybrid systems.

@phdthesis{phd/dnb/Hahn13a, added-at = {2021-07-17T00:00:00.000+0200}, author = {Hahn, Ernst Moritz}, biburl = {https://www.bibsonomy.org/bibtex/2fde8eb5788d130c41aecbe24d98e6158/dblp}, ee = {https://d-nb.info/1052903118}, interhash = {2972c4630d2d4bfb5cd7037349092465}, intrahash = {fde8eb5788d130c41aecbe24d98e6158}, keywords = {dblp}, school = {Saarland University}, timestamp = {2024-04-09T08:17:02.000+0200}, title = {Model checking stochastic hybrid systems.}, year = 2013 }