%0 Conference Paper %1 conf/formats/FranzleGKAK15 %A Fränzle, Martin %A Gerwinn, Sebastian %A Kröger, Paul %A Abate, Alessandro %A Katoen, Joost-Pieter %B FORMATS %D 2015 %E Sankaranarayanan, Sriram %E Vicario, Enrico %I Springer %K %P 93-107 %T Multi-objective Parameter Synthesis in Probabilistic Hybrid Systems. %U http://dblp.uni-trier.de/db/conf/formats/formats2015.html#FranzleGKAK15 %V 9268 %@ 978-3-319-22974-4

@inproceedings{conf/formats/FranzleGKAK15, added-at = {2023-12-12T17:58:08.000+0100}, author = {Fränzle, Martin and Gerwinn, Sebastian and Kröger, Paul and Abate, Alessandro and Katoen, Joost-Pieter}, biburl = {https://www.bibsonomy.org/bibtex/221acf523c0affb95f0c936c294880197/admin}, booktitle = {FORMATS}, crossref = {conf/formats/2015}, editor = {Sankaranarayanan, Sriram and Vicario, Enrico}, ee = {https://www.wikidata.org/entity/Q57800714}, interhash = {0b754f2d1c666d2186568d06d48131df}, intrahash = {21acf523c0affb95f0c936c294880197}, isbn = {978-3-319-22974-4}, keywords = {}, pages = {93-107}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2023-12-12T17:58:08.000+0100}, title = {Multi-objective Parameter Synthesis in Probabilistic Hybrid Systems.}, url = {http://dblp.uni-trier.de/db/conf/formats/formats2015.html#FranzleGKAK15}, volume = 9268, year = 2015 }