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