%0 Conference Paper %1 conf/qest/WimmerJVAKB13 %A Wimmer, Ralf %A Jansen, Nils %A Vorpahl, Andreas %A Ábrahám, Erika %A Katoen, Joost-Pieter %A Becker, Bernd %B QEST %D 2013 %E Joshi, Kaustubh R. %E Siegle, Markus %E Stoelinga, Mariëlle %E D'Argenio, Pedro R. %I Springer %K %P 39-54 %T High-Level Counterexamples for Probabilistic Automata. %U http://dblp.uni-trier.de/db/conf/qest/qest2013.html#WimmerJVAKB13 %V 8054 %@ 978-3-642-40195-4

@inproceedings{conf/qest/WimmerJVAKB13, added-at = {2023-12-12T20:27:37.000+0100}, author = {Wimmer, Ralf and Jansen, Nils and Vorpahl, Andreas and Ábrahám, Erika and Katoen, Joost-Pieter and Becker, Bernd}, biburl = {https://www.bibsonomy.org/bibtex/2d416bb662dd92d2af8851518a1601370/admin}, booktitle = {QEST}, crossref = {conf/qest/2013}, editor = {Joshi, Kaustubh R. and Siegle, Markus and Stoelinga, Mariëlle and D'Argenio, Pedro R.}, ee = {https://www.wikidata.org/entity/Q57800981}, interhash = {2f82f18bc389b9ae36e31806545d1248}, intrahash = {d416bb662dd92d2af8851518a1601370}, isbn = {978-3-642-40195-4}, keywords = {}, pages = {39-54}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2023-12-12T20:27:37.000+0100}, title = {High-Level Counterexamples for Probabilistic Automata.}, url = {http://dblp.uni-trier.de/db/conf/qest/qest2013.html#WimmerJVAKB13}, volume = 8054, year = 2013 }