BibTeX record conf/itc/SasakiKNT84

download as .bib file

@inproceedings{DBLP:conf/itc/SasakiKNT84,
  author       = {Tohru Sasaki and
                  Shunichi Kato and
                  Nobuyoshi Nomizu and
                  Hidetoshi Tanaka},
  title        = {Logic Design Verification Using Automated Test Generation},
  booktitle    = {Proceedings International Test Conference 1984, Philadelphia, PA,
                  USA, October 1984},
  pages        = {88--95},
  publisher    = {{IEEE} Computer Society},
  year         = {1984},
  timestamp    = {Fri, 22 Nov 2002 13:40:15 +0100},
  biburl       = {https://dblp.org/rec/conf/itc/SasakiKNT84.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}