@INPROCEEDINGS{FMCAD02, 
	author = {Giuseppe Della Penna and  Benedetto Intrigila and  Enrico Tronci and  Marisa Venturini Zilli},
	title = {Exploiting Transition Locality in the Disk Based Murphi Verifier}, 
	series = {LNCS},
	booktitle = {Proceedings of Fourth International Conference on Formal Methods in Computer-Aided Design},
	editor = {Springer-Verlag},

	pages = {202--219},
	year = {2002},
	month = {11},
	volume = {2517},
}