@InProceedings{DIM+03a,
author={G. {Della Penna} and B. Intrigila and I. Melatti and E. Tronci and M. Venturini Zilli},
title={Finite Horizon Analysis of {Markov} Chains with the {Murphi} Verifier},
booktitle={Proc. 12th Advanced Research Working Conference on Correct Hardware Design and Verification Methods (CHARME'03)},
year={2003},

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