DBLP BibTeX Record 'conf/dac/PardoH98'

@inproceedings{DBLP:conf/dac/PardoH98,
  author    = {Abelardo Pardo and
               Gary D. Hachtel},
  title     = {Incremental CTL Model Checking Using BDD Subsetting},
  booktitle = {DAC},
  year      = {1998},
  pages     = {457-462},
  ee        = {http://doi.acm.org/10.1145/277044.277171},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}