@InProceedings{DIM+03b,
author={G. {Della Penna} and B. Intrigila and I. Melatti and E. Tronci and M. Venturini Zilli},
title={Finite Horizon Analysis of Stochastic Systems with the {Murphi} Verifier},
booktitle={Proc. 8th Italian Conference on Theoretical Computer Science (ICTCS 2003)},
year={2003},

editor={},
pages={394-409},
organization={},
publisher={Springer},
series={LNCS},
volume={2841},
address={},
month={},
note={},
key={}
}