DBLP Record 'journals/fmsd/QuerCCLSB00'

BibTeX

@article{DBLP:journals/fmsd/QuerCCLSB00,
  author    = {Stefano Quer and
               Gianpiero Cabodi and
               Paolo Camurati and
               Luciano Lavagno and
               Ellen Sentovich and
               Robert K. Brayton},
  title     = {Verification of Similar FSMs by Mixing Incremental Re-encoding,
               Reachability Analysis, and Combinational Checks},
  journal   = {Formal Methods in System Design},
  volume    = {17},
  number    = {2},
  year      = {2000},
  pages     = {107-134},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}