Publications

Filters: Author is Corzilius, Florian [Clear All Filters]

2014

N. Jansen, et al., “Accelerating Parametric Probabilistic Verification”, in Quantitative Evaluation of Systems (QEST'14), 2014.