|
[DIM+03b]
G. Della Penna, B. Intrigila, I. Melatti, E. Tronci, M. Venturini Zilli.
Finite Horizon Analysis of Stochastic Systems with the Murphi Verifier.
In Proc. 8th Italian Conference on Theoretical Computer Science (ICTCS'03), volume 2841 of LNCS, 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/
|