@inproceedings{westhofen2020benchmarking, Author = {Westhofen, Lukas and Berger, Philipp and Katoen, Joost-Pieter}, Title = {Benchmarking Software Model Checkers on Automotive Code}, Year = {2020}, Publisher = {Springer International Publishing}, Booktitle = {NASA Formal Methods}, Url = {https://arxiv.org/abs/2003.11689}, type = {inproceedings} } @COMMENT{Bibtex file generated on }