Accelerating Parametric Probabilistic Verification
| Title | Accelerating Parametric Probabilistic Verification |
| Publication Type | Conference Paper |
| Year of Publication | 2014 |
| Authors | Jansen, N, Corzilius, F, Volk, M, Wimmer, R, Ábrahám, E, Katoen, J-P, Becker, B |
| Conference Name | Quantitative Evaluation of Systems (QEST'14) |
| Publisher | Springer |
Work Package:
WP1
