BibTeX record conf/dac/TakashimaIKTSS88

• > Home > conf/dac/TakashimaIKTSS88

@inproceedings{DBLP:conf/dac/TakashimaIKTSS88,
  author       = {Makoto Takashima and
                  Atsuhiko Ikeuchi and
                  Shoichi Kojima and
                  Toshikazu Tanaka and
                  Tamaki Saitou and
                  Jun{-}ichi Sakata},
  editor       = {Dennis W. Shaklee and
                  A. Richard Newton},
  title        = {A Circuit Comparison System with Rule-Based Functional Isomorphism
                  Checking},
  booktitle    = {Proceedings of the 25th {ACM/IEEE} Conference on Design Automation,
                  {DAC} '88, Anaheim, CA, USA, June 12-15, 1988},
  pages        = {512--516},
  publisher    = {{ACM}},
  year         = {1988},
  url          = {http://portal.acm.org/citation.cfm?id=285730.285813},
  timestamp    = {Fri, 12 Mar 2021 15:27:48 +0100},
  biburl       = {https://dblp.org/rec/conf/dac/TakashimaIKTSS88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}