BibTeX record conf/eurodac/ChengP90

download as .bib file

@inproceedings{DBLP:conf/eurodac/ChengP90,
  author       = {Wu{-}Tung Cheng and
                  Janak H. Patel},
  editor       = {Gordon Adshead and
                  Jochen A. G. Jess},
  title        = {{PROOFS:} a super fast fault simulator for sequential circuits},
  booktitle    = {European Design Automation Conference, {EURO-DAC} 1990, Glasgow, Scotland,
                  UK, March 12-15, 1990},
  pages        = {475--479},
  publisher    = {{IEEE} Computer Society},
  year         = {1990},
  url          = {https://doi.org/10.1109/EDAC.1990.136694},
  doi          = {10.1109/EDAC.1990.136694},
  timestamp    = {Wed, 16 Oct 2019 14:14:54 +0200},
  biburl       = {https://dblp.org/rec/conf/eurodac/ChengP90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}