%0 Conference Paper %1 conf/cav/DehnertJJCVBKA15 %A Dehnert, Christian %A Junges, Sebastian %A Jansen, Nils %A Corzilius, Florian %A Volk, Matthias %A Bruintjes, Harold %A Katoen, Joost-Pieter %A Ábrahám, Erika %B CAV (1) %D 2015 %E Kroening, Daniel %E Pasareanu, Corina S. %I Springer %K dblp %P 214-231 %T PROPhESY: A PRObabilistic ParamEter SYnthesis Tool. %U http://dblp.uni-trier.de/db/conf/cav/cav2015-1.html#DehnertJJCVBKA15 %V 9206 %@ 978-3-319-21689-8

@inproceedings{conf/cav/DehnertJJCVBKA15, added-at = {2020-09-05T00:00:00.000+0200}, author = {Dehnert, Christian and Junges, Sebastian and Jansen, Nils and Corzilius, Florian and Volk, Matthias and Bruintjes, Harold and Katoen, Joost-Pieter and Ábrahám, Erika}, biburl = {https://www.bibsonomy.org/bibtex/2fded6ebf2ca5257c3583f98351e9bae6/dblp}, booktitle = {CAV (1)}, crossref = {conf/cav/2015-1}, editor = {Kroening, Daniel and Pasareanu, Corina S.}, ee = {https://www.wikidata.org/entity/Q57800735}, interhash = {b34c11b4ed724f99c7504c15c90fa3c8}, intrahash = {fded6ebf2ca5257c3583f98351e9bae6}, isbn = {978-3-319-21689-8}, keywords = {dblp}, pages = {214-231}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2020-09-09T13:54:34.000+0200}, title = {PROPhESY: A PRObabilistic ParamEter SYnthesis Tool.}, url = {http://dblp.uni-trier.de/db/conf/cav/cav2015-1.html#DehnertJJCVBKA15}, volume = 9206, year = 2015 }