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}
}