Publications

Filters: Author is Volk, Matthias  [Clear All Filters]
2014
N. Jansen, et al., “Accelerating Parametric Probabilistic Verification”, in Quantitative Evaluation of Systems (QEST'14), 2014.