@article{DIMTZ04j,
  AUTHOR = "G. {Della Penna} and
            B. Intrigila and
            I. Melatti and
            E. Tronci and
            M. {Venturini Zilli}",
  title     = {Exploiting Transition Locality in Automatic Verification of Finite State Concurrent Systems},
  journal   = {STTT},
  volume    = {6},
  number    = {4},
  year      = {2004},
  pages     = {320--341},
}