|
[DIM+06]
G. Della Penna, B. Intrigila, I. Melatti, E. Tronci and M. Venturini Zilli.
Finite Horizon Analysis of Markov Chains with the Murphi Verifier.
International Journal on Software Tools for Technology Transfer (STTT), 8(4-5), pages 397-409, Springer.
2006.
[bib]
|
|
Downloads:
 bib
|
|
Notes:
The original publication is available at link.springer.com.
|
|
Links:
[Google]
[Google Scholar]
|