@ARTICLE{STTT03, 
	author = {Giuseppe Della Penna and  Benedetto Intrigila and  Igor Melatti and  Enrico Tronci and  Marisa Venturini Zilli},
	title = {Exploiting Transition Locality in Automatic Verification of Finite State Concurrent Systems}, 
	doi = {10.1007/s10009-004-0149-6},
	journal = {International Journal on Software Tools for Technlogy Transfer},
	editor = {Springer-Verlag},

	pages = {320--341},
	year = {2004},
	month = {8},
	volume = {6},
	number = {4}
	
}