Filters: Author is Maximilian A. Köhl [Clear All Filters]
“Verification, Testing, and Runtime Monitoring of Automotive Exhaust Emissions”, in LPAR-22. 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning, Awassa, Ethiopia, 16-21 November 2018, vol. 57, EasyChair, 2018, pp. 1–17. paper-338.pdf (3.06 MB)
,