PROPhESY: A PRObabilistic ParamEter SYnthesis Tool

by Christian Dehnert, Sebastian Junges, Nils Jansen, Florian Corzilius, Matthias Volk, Harold Bruintjes, Joost-Pieter Katoen, Erika Ábrahám
Reference:
PROPhESY: A PRObabilistic ParamEter SYnthesis Tool (Christian Dehnert, Sebastian Junges, Nils Jansen, Florian Corzilius, Matthias Volk, Harold Bruintjes, Joost-Pieter Katoen, Erika Ábrahám), Chapter in Computer Aided Verification, Springer International Publishing, 2015.
Bibtex Entry:
@incollection{dehnert2015prophesy,
  title={PROPhESY: A PRObabilistic ParamEter SYnthesis Tool},
  author={Dehnert, Christian and Junges, Sebastian and Jansen, Nils and Corzilius, Florian and Volk, Matthias and Bruintjes, Harold and Katoen, Joost-Pieter and {'A}brah{'a}m, Erika},
  booktitle={Computer Aided Verification},
  pages={214--231},
  year={2015},
  publisher={Springer International Publishing}
}

Bookmark the permalink.