BibTeX record conf/date/SinghDSSGFSKBEM19

download as .bib file

@inproceedings{DBLP:conf/date/SinghDSSGFSKBEM19,
  author    = {Eshan Singh and
               Keerthikumara Devarajegowda and
               Sebastian Simon and
               Ralf Schnieder and
               Karthik Ganesan and
               Mohammad Rahmani Fadiheh and
               Dominik Stoffel and
               Wolfgang Kunz and
               Clark W. Barrett and
               Wolfgang Ecker and
               Subhasish Mitra},
  editor    = {J{\"{u}}rgen Teich and
               Franco Fummi},
  title     = {Symbolic {QED} Pre-silicon Verification for Automotive Microcontroller
               Cores: Industrial Case Study},
  booktitle = {Design, Automation {\&} Test in Europe Conference {\&} Exhibition,
               {DATE} 2019, Florence, Italy, March 25-29, 2019},
  pages     = {1000--1005},
  publisher = {{IEEE}},
  year      = {2019},
  url       = {https://doi.org/10.23919/DATE.2019.8715271},
  doi       = {10.23919/DATE.2019.8715271},
  timestamp = {Fri, 15 Nov 2019 11:32:13 +0100},
  biburl    = {https://dblp.org/rec/conf/date/SinghDSSGFSKBEM19.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics