|
[DIM+04]
G. Della Penna, B. Intrigila, I. Melatti, E. Tronci, M. Venturini Zilli.
Bounded Probabilistic Model Checking with the Murphi Verifier.
In Proc. 5th International Conference on Formal Methods in Computer-Aided Design (FMCAD'04), volume 3312 of LNCS, pages 214-229, Springer-Verlag.
November 2004.
http://dellapenna.univaq.it/papers/
|
|
Notes:
The original publication is available at link.springer.com.
|
|
Links:
[Google]
[Google Scholar]
|
|
Available from:
http://dellapenna.univaq.it/papers/
|