Publications

Export 1 results:
Sort by: Author Title Type [ Year (Desc)]
Filters: Author is Andreas Vorpahl  [Clear All Filters]
2013
R. Wimmer, N. Jansen, A. Vorpahl, E. Ábrahám, J. - P. Katoen, and B. Becker, “High-Level Counterexamples for Probabilistic Automata”, in Quantitative Evaluation of Systems, QEST 2013, 2013, vol. 8054, p. 39-54.