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} }