DBLP Record 'conf/iscas/FujitaYCZM94'

BibTeX

@inproceedings{DBLP:conf/iscas/FujitaYCZM94,
  author    = {Masahiro Fujita and
               Jerry Chih-Yuan Yang and
               Edmund M. Clarke and
               Xudong Zhao and
               Patrick C. McGeer},
  title     = {Fast Spectrum Computation for Logic Functions using Binary
               Decision Diagrams},
  booktitle = {ISCAS},
  year      = {1994},
  pages     = {275-278},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}