@ARTICLE{STTT04,
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},
doi = {10.1007/s10009-005-0216-7},
journal = {International Journal on Software Tools for Technlogy Transfer},
editor = {Springer-Verlag},
pages = {397--410},
year = {2006},
month = {8},
volume = {8},
number = {4}
}