by Ralf Wimmer, Nils Jansen, Andreas Vorpahl, Erika Ábrahám, Joost-Pieter Katoen, Bernd Becker
Reference:
High-Level Counterexamples for Probabilistic Automata (Ralf Wimmer, Nils Jansen, Andreas Vorpahl, Erika Ábrahám, Joost-Pieter Katoen, Bernd Becker), In Quantitative Evaluation of Systems – 10th International Conference, QEST 2013, Buenos Aires, Argentina, August 27-30, 2013. Proceedings, 2013.
Bibtex Entry:
@inproceedings{DBLP:conf/qest/WimmerJVAKB13, author = {Ralf Wimmer and Nils Jansen and Andreas Vorpahl and Erika {'{A}}brah{'{a}}m and Joost{-}Pieter Katoen and Bernd Becker}, title = {High-Level Counterexamples for Probabilistic Automata}, booktitle = {Quantitative Evaluation of Systems - 10th International Conference, {QEST} 2013, Buenos Aires, Argentina, August 27-30, 2013. Proceedings}, pages = {39--54}, year = {2013}, crossref = {DBLP:conf/qest/2013}, url = {http://dx.doi.org/10.1007/978-3-642-40196-1_4}, doi = {10.1007/978-3-642-40196-1_4}, timestamp = {Wed, 24 Jul 2013 20:32:30 +0200}, biburl = {http://dblp.uni-trier.de/rec/bib/conf/qest/WimmerJVAKB13}, bibsource = {dblp computer science bibliography, http://dblp.org} }