@INPROCEEDINGS{CHARME01, 
	author = {Enrico Tronci and  Giuseppe Della Penna and  Benedetto Intrigila and  Marisa Venturini Zilli},
	title = {Exploiting Transition Locality in Automatic Verification}, 
	series = {LNCS},
	booktitle = {Proceedings of 11th Advanced Research Working Conference on Correct Hardware Design and Verification Methods},
	editor = {Springer-Verlag},

	pages = {259--274},
	year = {2001},
	month = {9},
	volume = {2144},
}