%0 Conference Paper %1 conf/atva/DehnertJWAK14 %A Dehnert, Christian %A Jansen, Nils %A Wimmer, Ralf %A Ábrahám, Erika %A Katoen, Joost-Pieter %B ATVA %D 2014 %E Cassez, Franck %E Raskin, Jean-François %I Springer %K %P 146-162 %T Fast Debugging of PRISM Models. %U http://dblp.uni-trier.de/db/conf/atva/atva2014.html#DehnertJWAK14 %V 8837 %@ 978-3-319-11935-9

@inproceedings{conf/atva/DehnertJWAK14, added-at = {2023-12-12T18:20:28.000+0100}, author = {Dehnert, Christian and Jansen, Nils and Wimmer, Ralf and Ábrahám, Erika and Katoen, Joost-Pieter}, biburl = {https://www.bibsonomy.org/bibtex/2dc68cb870d8ea44fdef08ab96a0988f6/admin}, booktitle = {ATVA}, crossref = {conf/atva/2014}, editor = {Cassez, Franck and Raskin, Jean-François}, ee = {https://doi.org/10.1007/978-3-319-11936-6_11}, interhash = {10e088e11f2d8a2069e5436dd2e461d0}, intrahash = {dc68cb870d8ea44fdef08ab96a0988f6}, isbn = {978-3-319-11935-9}, keywords = {}, pages = {146-162}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2023-12-12T18:20:28.000+0100}, title = {Fast Debugging of PRISM Models.}, url = {http://dblp.uni-trier.de/db/conf/atva/atva2014.html#DehnertJWAK14}, volume = 8837, year = 2014 }