BibTeX record conf/dsd/UbarKR12

download as .bib file

@inproceedings{DBLP:conf/dsd/UbarKR12,
  author       = {Raimund Ubar and
                  Sergei Kostin and
                  Jaan Raik},
  title        = {How to Prove that a Circuit is Fault-Free?},
  booktitle    = {15th Euromicro Conference on Digital System Design, {DSD} 2012, Cesme,
                  Izmir, Turkey, September 5-8, 2012},
  pages        = {427--430},
  publisher    = {{IEEE} Computer Society},
  year         = {2012},
  url          = {https://doi.org/10.1109/DSD.2012.75},
  doi          = {10.1109/DSD.2012.75},
  timestamp    = {Thu, 23 Mar 2023 23:59:37 +0100},
  biburl       = {https://dblp.org/rec/conf/dsd/UbarKR12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}