%0 Journal Article %1 journals/corr/abs-1305-5055 %A Wimmer, Ralf %A Jansen, Nils %A Vorpahl, Andreas %A Ábrahám, Erika %A Katoen, Joost-Pieter %A Becker, Bernd %D 2015 %J Logical Methods in Computer Science %K %N 1 %T High-level Counterexamples for Probabilistic Automata %U http://dblp.uni-trier.de/db/journals/lmcs/lmcs11.html#abs-1305-5055 %V 11

@article{journals/corr/abs-1305-5055, added-at = {2023-12-12T17:42:47.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/21c14235651bc73b8857be08ca2f1ecd9/admin}, ee = {https://www.wikidata.org/entity/Q57800674}, interhash = {07a21c402aa69b40cbedb903063ed968}, intrahash = {1c14235651bc73b8857be08ca2f1ecd9}, journal = {Logical Methods in Computer Science}, keywords = {}, number = 1, timestamp = {2023-12-12T17:42:47.000+0100}, title = {High-level Counterexamples for Probabilistic Automata}, url = {http://dblp.uni-trier.de/db/journals/lmcs/lmcs11.html#abs-1305-5055}, volume = 11, year = 2015 }