%0 Conference Paper %1 conf/atva/QuatmannD0JK16 %A Quatmann, Tim %A Dehnert, Christian %A Jansen, Nils %A Junges, Sebastian %A Katoen, Joost-Pieter %B ATVA %D 2016 %E Artho, Cyrille %E Legay, Axel %E Peled, Doron %K dblp %P 50-67 %T Parameter Synthesis for Markov Models: Faster Than Ever. %U http://dblp.uni-trier.de/db/conf/atva/atva2016.html#QuatmannD0JK16 %V 9938 %@ 978-3-319-46519-7

@inproceedings{conf/atva/QuatmannD0JK16, added-at = {2020-09-05T00:00:00.000+0200}, author = {Quatmann, Tim and Dehnert, Christian and Jansen, Nils and Junges, Sebastian and Katoen, Joost-Pieter}, biburl = {https://www.bibsonomy.org/bibtex/277c1dd21881b8d3511cbd795790b4cff/dblp}, booktitle = {ATVA}, crossref = {conf/atva/2016}, editor = {Artho, Cyrille and Legay, Axel and Peled, Doron}, ee = {https://doi.org/10.1007/978-3-319-46520-3_4}, interhash = {2d0be68a99a38c99c9cf4f15f1549db2}, intrahash = {77c1dd21881b8d3511cbd795790b4cff}, isbn = {978-3-319-46519-7}, keywords = {dblp}, pages = {50-67}, series = {Lecture Notes in Computer Science}, timestamp = {2020-09-09T15:11:03.000+0200}, title = {Parameter Synthesis for Markov Models: Faster Than Ever.}, url = {http://dblp.uni-trier.de/db/conf/atva/atva2016.html#QuatmannD0JK16}, volume = 9938, year = 2016 }