Accelerating Parametric Probabilistic Verification

No ratings

Presented at SafeComp 2014 by

Nils Jansen

Florian Corzilius

Matthias Volk

Ralf Wimmer

Erika Abraham

Joost-pieter Becker

N/A