DBLP Record 'journals/scjapan/OhnishiS01'

BibTeX

@article{DBLP:journals/scjapan/OhnishiS01,
  author    = {Atsushi Ohnishi and
               Yuji Sugiyama},
  title     = {A fast method for timing verification that uses the conditions
               that cause changes in the output values of gates},
  journal   = {Systems and Computers in Japan},
  volume    = {32},
  number    = {1},
  year      = {2001},
  pages     = {38-44},
  ee        = {http://dx.doi.org/10.1002/1520-684X(200101)32:1\%3c38::AID-SCJ5\%3e3.0.CO;2-F},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}