@INPROCEEDINGS{CHARME031,
author = {Giuseppe Della Penna and Benedetto Intrigila and Igor Melatti and Enrico Tronci and Marisa Venturini Zilli},
title = {Finite Horizon Analysis of Markov Chains with the Murphi Verifier},
series = {LNCS},
booktitle = {Proceedings of 12th Advanced Research Working Conference on Correct Hardware Design and Verification Methods},
editor = {Springer-Verlag},
pages = {394--409},
year = {2003},
month = {10},
volume = {2860},
}