@INPROCEEDINGS{ICTCS03, 
	author = {Giuseppe Della Penna and  Benedetto Intrigila and  Igor Melatti and  Enrico Tronci and  Marisa Venturini Zilli},
	title = {Finite Horizon Analysis of Stochastic Systems with the Murphi Verifier}, 
	series = {LNCS},
	booktitle = {Proceedings of Eighth Italian Conference on Theoretical Computer Science},
	editor = {Springer-Verlag},

	year = {2003},
	month = {10},
	volume = {2841},
}