Fast Debugging of PRISM Models
| Title | Fast Debugging of PRISM Models |
| Publication Type | Conference Paper |
| Year of Publication | 2014 |
| Authors | Dehnert, C, Jansen, N, Wimmer, R, Ábrahám, E, Katoen, J-P |
| Conference Name | Int. Symp. on Automated Technology for Verification and Analysis (ATVA'14) |
| Publisher | Springer |
Work Package:
WP1
