@inproceedings{DIMTZ04,
  AUTHOR = "G. {Della Penna} and
            B. Intrigila and
            I. Melatti and
            E. Tronci}",
  TITLE  = "Exploiting Hub States in Automatic Verification",
  PAGES = {54--68},
  editor    = {D.A.~Peled and Y.-K.~Tsay},
  booktitle = {Automated Technology for Verification and Analysis: Third International Symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005, Proceedings}
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {3707},
  year      = {2005},
  isbn      = {3-540-29209-8},
}