Fast Debugging of PRISM Models.

Christian Dehnert, Nils Jansen, Ralf Wimmer, Erika brahm, Joost-Pieter Katoen

Browse the full ATVA paper archive.