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.