You are here

Home ›

Publications

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.

   

                              

Powered by Drupal