HamaguchiMY95'

BibTeX

@inproceedings{DBLP:conf/iccad/HamaguchiMY95,
  author    = {Kiyoharu Hamaguchi and
               Akihito Morita and
               Shuzo Yajima},
  title     = {Efficient construction of binary moment diagrams for verifying
               arithmetic circuits},
  booktitle = {ICCAD},
  year      = {1995},
  pages     = {78-82},
  ee        = {http://doi.acm.org/10.1145/224841.224863},
  crossref  = {DBLP:conf/iccad/1995},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/iccad/1995,
  editor    = {Richard L. Rudell},
  title     = {Proceedings of the 1995 IEEE/ACM International Conference
               on Computer-Aided Design, 1995, San Jose, California, USA,
               November 5-9, 1995},
  booktitle = {ICCAD},
  publisher = {IEEE Computer Society},
  year      = {1995},
  isbn      = {0-8186-7213-7},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}