@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},
}