Fast debugging of PRISM models

by Christian Dehnert, Nils Jansen, Ralf Wimmer, Erika Ábrahám, Joost-Pieter Katoen
Reference:
Fast debugging of PRISM models (Christian Dehnert, Nils Jansen, Ralf Wimmer, Erika Ábrahám, Joost-Pieter Katoen), Chapter in Automated Technology for Verification and Analysis, Springer International Publishing, 2014.
Bibtex Entry:
@incollection{dehnert2014fast,
  title={Fast debugging of PRISM models},
  author={Dehnert, Christian and Jansen, Nils and Wimmer, Ralf and {'A}brah{'a}m, Erika and Katoen, Joost-Pieter},
  booktitle={Automated Technology for Verification and Analysis},
  pages={146--162},
  year={2014},
  publisher={Springer International Publishing}
}

Bookmark the permalink.