MasukuraTY01'

BibTeX

@article{DBLP:journals/scjapan/MasukuraTY01,
  author    = {Koichi Masukura and
               Minoru Tomisaka and
               Tomohiro Yoneda},
  title     = {Verification of asynchronous circuits based on zero-suppressed
               BDDs},
  journal   = {Systems and Computers in Japan},
  volume    = {32},
  number    = {2},
  year      = {2001},
  pages     = {43-54},
  ee        = {http://dx.doi.org/10.1002/1520-684X(200102)32:2\%3c43::AID-SCJ5\%3e3.0.CO;2-P},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}