@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 }