Niklas Kochdumper, Ahmad Tarraf, Malgorzata Rechmal, Markus Olbrich, Lars Hedrich, Matthias Althoff. Establishing Reachset Conformance for the Formal Analysis of Analog Circuits. In 25th Asia and South Pacific Design Automation Conference, ASP-DAC 2020, Beijing, China, January 13-16, 2020. pages 199-204, IEEE, 2020. [doi]
@inproceedings{KochdumperTROHA20,
title = {Establishing Reachset Conformance for the Formal Analysis of Analog Circuits},
author = {Niklas Kochdumper and Ahmad Tarraf and Malgorzata Rechmal and Markus Olbrich and Lars Hedrich and Matthias Althoff},
year = {2020},
doi = {10.1109/ASP-DAC47756.2020.9045120},
url = {https://doi.org/10.1109/ASP-DAC47756.2020.9045120},
researchr = {https://researchr.org/publication/KochdumperTROHA20},
cites = {0},
citedby = {0},
pages = {199-204},
booktitle = {25th Asia and South Pacific Design Automation Conference, ASP-DAC 2020, Beijing, China, January 13-16, 2020},
publisher = {IEEE},
isbn = {978-1-7281-4123-7},
}