[HermannsBDK18] Verification, Testing, and Runtime Monitoring of Automotive Exhaust Emissions Hermanns, H.; Biewer, S.; D'Argenio, P. R. and Köhl, M. A. In LPAR-22. 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning, Awassa, Ethiopia, 16-21 November 2018, pages 1-17, EasyChair, EPiC Series in Computing 57, 2018.
Downloads: bibURL: