Steffen Keul
Tuning Static Data Race Analysis for Automotive Control Software
SCAM, 2011.
@inproceedings{SCAM-2011-Keul, author = "Steffen Keul", booktitle = "{Proceedings of the 11th Working Conference on Source Code Analysis and Manipulation}", doi = "10.1109/SCAM.2011.16", isbn = "978-1-4577-0932-6", pages = "45--54", publisher = "{IEEE}", title = "{Tuning Static Data Race Analysis for Automotive Control Software}", year = 2011, }