%0 Conference Paper %1 conf/mbmv/SimonKRZM17 %A Simon, Sebastian %A Kirscher, Jérôme %A Rath, Alexander W. %A Zhang, Zhiqiang %A Maurer, Linus %B MBMV %D 2017 %E Große, Daniel %E Drechsler, Rolf %I Shaker Verlag %K dblp %P 91-102 %T Pre-silicon Verification of an Automotive Battery Management System in the Context of the Application. %U http://dblp.uni-trier.de/db/conf/mbmv/mbmv2017.html#SimonKRZM17 %@ 978-3-8440-4996-1

@inproceedings{conf/mbmv/SimonKRZM17, added-at = {2017-11-20T00:00:00.000+0100}, author = {Simon, Sebastian and Kirscher, Jérôme and Rath, Alexander W. and Zhang, Zhiqiang and Maurer, Linus}, biburl = {https://www.bibsonomy.org/bibtex/253510b1b720e125b73dc70bc8efdd922/dblp}, booktitle = {MBMV}, crossref = {conf/mbmv/2017}, editor = {Große, Daniel and Drechsler, Rolf}, interhash = {e5b780d850bf44f9606ccfda4cb7b177}, intrahash = {53510b1b720e125b73dc70bc8efdd922}, isbn = {978-3-8440-4996-1}, keywords = {dblp}, pages = {91-102}, publisher = {Shaker Verlag}, timestamp = {2017-12-07T23:10:24.000+0100}, title = {Pre-silicon Verification of an Automotive Battery Management System in the Context of the Application.}, url = {http://dblp.uni-trier.de/db/conf/mbmv/mbmv2017.html#SimonKRZM17}, year = 2017 }