BibTeX record journals/corr/abs-1902-01494

download as .bib file

@article{DBLP:journals/corr/abs-1902-01494,
  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},
  title     = {Symbolic {QED} Pre-silicon Verification for Automotive Microcontroller
               Cores: Industrial Case Study},
  journal   = {CoRR},
  volume    = {abs/1902.01494},
  year      = {2019},
  url       = {http://arxiv.org/abs/1902.01494},
  archivePrefix = {arXiv},
  eprint    = {1902.01494},
  timestamp = {Fri, 15 Nov 2019 11:32:20 +0100},
  biburl    = {https://dblp.org/rec/journals/corr/abs-1902-01494.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics