@incollection{Fr,
Author = {Fränzle, Martin and Gerwinn, Sebastian and Kröger, Paul and Abate, Alessandro and Katoen, Joost-Pieter},
Title = {Multi-objective Parameter Synthesis in Probabilistic Hybrid Systems},

Year = {2015},
Pages = {93-107},
Editor = {Sankaranarayanan, Sriram and Vicario, Enrico},
Publisher = {Springer International Publishing},
Series = {Lecture Notes in Computer Science},
Edition = {9268},
Booktitle = {Formal Modeling and Analysis of Timed Systems},
Doi = {10.1007/978-3-319-22975-1_7},
Url = {http://dx.doi.org/10.1007/978-3-319-22975-1_7},
type = {incollection}
}
@COMMENT{Bibtex file generated on }