|
[DIM+03a]
G. Della Penna, B. Intrigila, I. Melatti, E. Tronci, M. Venturini Zilli.
Finite Horizon Analysis of Markov Chains with the Murphi Verifier.
In Proc. 12th Advanced Research Working Conference on Correct Hardware Design and Verification Methods (CHARME'03), volume 2860 of LNCS, pages 394-409, Springer-Verlag.
October 2003.
[bib]
http://dellapenna.univaq.it/papers/
|
|
Downloads:
 bib
|
|
Notes:
The original publication is available at link.springer.com.
|
|
Links:
[Google]
[Google Scholar]
|
|
Available from:
http://dellapenna.univaq.it/papers/
|