|
[HHZ09]
E. Hahn, H. Hermanns and L. Zhang.
Probabilistic Reachability for Parametric Markov Models.
In C. Pasareanu (editor), Proc. 16th International SPIN Workshop, volume 5578 of LNCS, pages 88-106, Springer.
2009.
[bib]
|
|
Downloads:
 bib
|
|
Notes:
The original publication is available at link.springer.com.
|
|
Links:
[Google]
[Google Scholar]
|