Sciweavers

Share
CAV
2010
Springer

PARAM: A Model Checker for Parametric Markov Models

9 years 18 days ago
PARAM: A Model Checker for Parametric Markov Models
Ernst Moritz Hahn, Holger Hermanns, Björn Wac
Added 21 Mar 2011
Updated 21 Mar 2011
Type Journal
Year 2010
Where CAV
Authors Ernst Moritz Hahn, Holger Hermanns, Björn Wachter, Lijun Zhang
Comments (0)
books