%0 Conference Paper %1 conf/birthday/0001JK22 %A Jansen, Nils %A Junges, Sebastian %A Katoen, Joost-Pieter %B Principles of Systems Design %D 2022 %E Raskin, Jean-François %E Chatterjee, Krishnendu %E Doyen, Laurent %E Majumdar, Rupak %I Springer %K dblp %P 407-437 %T Parameter Synthesis in Markov Models: A Gentle Survey. %U http://dblp.uni-trier.de/db/conf/birthday/henzinger2022.html#0001JK22 %V 13660 %@ 978-3-031-22337-2

@inproceedings{conf/birthday/0001JK22, added-at = {2024-05-07T00:00:00.000+0200}, author = {Jansen, Nils and Junges, Sebastian and Katoen, Joost-Pieter}, biburl = {https://www.bibsonomy.org/bibtex/2462d5d44db5bd4da1ac267f934b28c1f/dblp}, booktitle = {Principles of Systems Design}, crossref = {conf/birthday/2022henzinger}, editor = {Raskin, Jean-François and Chatterjee, Krishnendu and Doyen, Laurent and Majumdar, Rupak}, ee = {https://doi.org/10.1007/978-3-031-22337-2_20}, interhash = {4130f1ac3b809f0272839963ebc5f530}, intrahash = {462d5d44db5bd4da1ac267f934b28c1f}, isbn = {978-3-031-22337-2}, keywords = {dblp}, pages = {407-437}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-05-13T09:34:06.000+0200}, title = {Parameter Synthesis in Markov Models: A Gentle Survey.}, url = {http://dblp.uni-trier.de/db/conf/birthday/henzinger2022.html#0001JK22}, volume = 13660, year = 2022 }