@INPROCEEDINGS{ATVA05, 
	author = {Giuseppe Della Penna and  Benedetto Intrigila and  Igor Melatti and  Enrico Tronci},
	title = {Exploiting Hub States in Automatic Verification}, 
	doi = {10.1007/11562948_7},
	series = {LNCS},
	booktitle = {Proceedings of Third International Symposium on Automated Technology for Verification and Analysis},
	editor = {Springer-Verlag},

	pages = {54--68},
	year = {2005},
	month = {10},
	volume = {3707},
}