@INPROCEEDINGS{FMCAD04, 
	author = {Giuseppe Della Penna and  Benedetto Intrigila and  Igor Melatti and  Enrico Tronci and  Marisa Venturini Zilli},
	title = {Bounded Probabilistic Model Checking with the Murphi Verifier}, 
	doi = {10.1007/b102264},
	series = {LNCS},
	booktitle = {Proceedings of Fifth International Conference on Formal Methods in Computer-Aided Design},
	editor = {Springer-Verlag},

	year = {2004},
	month = {11},
	volume = {3312},
}