HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Author:Holger Hermanns

Publications
Verification, Testing, and Runtime Monitoring of Automotive Exhaust Emissions
Holger Hermanns, Sebastian Biewer, Pedro R. D'Argenio and Maximilian A. Köhl
In:LPAR-22. 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning
Copyright © 2012-2025 easychair.org. All rights reserved.