@inbook{procos_2017,Author = {Martin Fränzle and Yang Gao and Sebastian Gerwinn},Title = {Constraint-Solving Techniques for the Analysis of Probabilistic Hybrid Systems},Year = {2017},Pages = {1--29},Editor = {Hinchey, Mike and Bowen, Jonathan P. and Olderog, Ernst-Rüdiger},Publisher = {Springer International Publishing},Series = {NASA Monographs in Systems and Software Engineering},Edition = {1},Booktitle = {Provably Correct Systems},chapter = {Constraint-Solving Techniques for the Analysis of Probabilistic Hybrid Systems},Doi = {10.1007/978-3-319-48628-4},type = {inbook}}@COMMENT{Bibtex file generated on }