B.: High-level counterexamples for probabilistic automata (2013)

by R Wimmer, N Jansen, A Vorpahl, E Ábrahám, J P Katoen, Becker
Venue:In: Proc. of QEST. Vol. 8054 of LNCS