BibTeX record conf/date/BurlyaevFG14

download as .bib file

@inproceedings{DBLP:conf/date/BurlyaevFG14,
  author       = {Dmitry Burlyaev and
                  Pascal Fradet and
                  Alain Girault},
  editor       = {Gerhard P. Fettweis and
                  Wolfgang Nebel},
  title        = {Verification-guided voter minimization in triple-modular redundant
                  circuits},
  booktitle    = {Design, Automation {\&} Test in Europe Conference {\&} Exhibition,
                  {DATE} 2014, Dresden, Germany, March 24-28, 2014},
  pages        = {1--6},
  publisher    = {European Design and Automation Association},
  year         = {2014},
  url          = {https://doi.org/10.7873/DATE.2014.105},
  doi          = {10.7873/DATE.2014.105},
  timestamp    = {Wed, 16 Oct 2019 14:14:53 +0200},
  biburl       = {https://dblp.org/rec/conf/date/BurlyaevFG14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics