DBLP BibTeX Record 'conf/dac/PixleyJH92'

@inproceedings{DBLP:conf/dac/PixleyJH92,
  author    = {Carl Pixley and
               Seh-Woong Jeong and
               Gary D. Hachtel},
  title     = {Exact Calculation of Synchronization Sequences Based on
               Binary Decision Diagrams},
  booktitle = {DAC},
  year      = {1992},
  pages     = {620-623},
  ee        = {http://portal.acm.org/citation.cfm?id=113938.149645},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}