BibTeX record conf/vlsid/PrasadHJ04

download as .bib file

@inproceedings{DBLP:conf/vlsid/PrasadHJ04,
  author       = {Mukul R. Prasad and
                  Michael S. Hsiao and
                  Jawahar Jain},
  title        = {Can {SAT} be used to Improve Sequential {ATPG} Methods?},
  booktitle    = {17th International Conference on {VLSI} Design {(VLSI} Design 2004),
                  with the 3rd International Conference on Embedded Systems Design,
                  5-9 January 2004, Mumbai, India},
  pages        = {585},
  publisher    = {{IEEE} Computer Society},
  year         = {2004},
  url          = {https://doi.org/10.1109/ICVD.2004.1260982},
  doi          = {10.1109/ICVD.2004.1260982},
  timestamp    = {Fri, 24 Mar 2023 00:03:59 +0100},
  biburl       = {https://dblp.org/rec/conf/vlsid/PrasadHJ04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics