Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%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
%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 = {2023-12-13T06:55:28.000+0100},
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/admin},
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 = {},
pages = {214-231},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
timestamp = {2023-12-13T06:55:28.000+0100},
title = {PROPhESY: A PRObabilistic ParamEter SYnthesis Tool.},
url = {http://dblp.uni-trier.de/db/conf/cav/cav2015-1.html#DehnertJJCVBKA15},
volume = 9206,
year = 2015
}