[HHWZ10]
E. M. Hahn, H. Hermanns, B. Wachter and L. Zhang.
PARAM: A Model Checker for Parametric Markov Models.
In Proc. 22nd International Conference on Computer Aided Verification (CAV'10), volume 6174 of LNCS, pages 660-664, Springer.
2010.
[bib]
|
Notes:
The original publication is available at link.springer.com.
|
Links:
[Google]
[Google Scholar]
|