High-level Counterexamples for Probabilistic Automata
| Title | High-level Counterexamples for Probabilistic Automata |
| Publication Type | Journal Article |
| Year of Publication | 2015 |
| Authors | Wimmer, R, Jansen, N, Ábrahám, E, Katoen, J-P |
| Journal | Logical Methods in Computer Science |
| Volume | 11 |
Work Package:
WP1
