@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},
}