DBLP Record 'conf/iccad/FujitaMK90'

BibTeX

@inproceedings{DBLP:conf/iccad/FujitaMK90,
  author    = {Masahiro Fujita and
               Yusuke Matsunaga and
               Takeo Kakuda},
  title     = {Automatic and Semi-Automatic Verification of Switch-Level
               Circuits with Temporal Logic and Binary Decision Diagrams},
  booktitle = {ICCAD},
  year      = {1990},
  pages     = {38-41},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}