[HHWZ09b]
E. M. Hahn, H. Hermanns, B. Wachter and L. Zhang.
INFAMY: An Infinite-State Markov Model Checker.
In Proc. 21st International Conference on Computer Aided Verification (CAV'09), volume 5643 of LNCS, pages 641-647, Springer.
2009.
[bib]
|
Notes:
The original publication is available at link.springer.com.
|
Links:
[Google]
[Google Scholar]
|