Model Checking Stochastic Hybrid Systems
| Title | Model Checking Stochastic Hybrid Systems |
| Publication Type | Thesis |
| Year of Publication | 2012 |
| Authors | Hahn, EM |
| Academic Department | Department of Computer Science |
| Degree | Doktor der Ingenieurwissenschaften |
| Number of Pages | 192 |
| Date Published | 12/2012 |
| University | Universität des Saarlandes |
| City | Saarbrücken |
| Thesis Type | Doctoral Dissertation |
| URL | http://scidok.sulb.uni-saarland.de/volltexte/2013/5259/pdf/phdthesis.pdf |
PDF (Full text):
Work Package:
WP1
