search author

DBLP BibTeX Record 'conf/iccd/ParuthiK00'

@inproceedings{DBLP:conf/iccd/ParuthiK00,
  author    = {Viresh Paruthi and
               Andreas Kuehlmann},
  title     = {Equivalence Checking Combining a Structural SAT-Solver,
               BDDs, and Simulation},
  booktitle = {ICCD},
  year      = {2000},
  pages     = {459-464},
  ee        = {http://computer.org/proceedings/iccd/0801/08010459abs.htm},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}