BibTeX record conf/mbmv/SimonKRZM17

download as .bib file

@inproceedings{DBLP:conf/mbmv/SimonKRZM17,
  author    = {Sebastian Simon and
               J{\'{e}}r{\^{o}}me Kirscher and
               Alexander W. Rath and
               Zhiqiang Zhang and
               Linus Maurer},
  editor    = {Daniel Gro{\ss}e and
               Rolf Drechsler},
  title     = {Pre-silicon Verification of an Automotive Battery Management System
               in the Context of the Application},
  booktitle = {Methoden und Beschreibungssprachen zur Modellierung und Verifikation
               von Schaltungen und Systemen, {MBMV} 2017, Bremen, Germany, February
               8-9, 2017},
  pages     = {91--102},
  publisher = {Shaker Verlag},
  year      = {2017},
  timestamp = {Mon, 20 Nov 2017 10:25:21 +0100},
  biburl    = {https://dblp.org/rec/conf/mbmv/SimonKRZM17.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics