BibTex Format for Publications
@inproceedings { RecKor2020a,
author = {Malgorzata Rechmal-Lesse and Gerald Alexander Koroa and Yeremia Gunawan Adhisantoso and Markus Olbrich},
title = {Automated Model Generation Including Variations for Formal Verification of Nonlinear Analog Circuits},
booktitle = {2020 18th IEEE International New Circuits and Systems Conference (NEWCAS)},
year = {2020},
doi = {https://doi.org/10.1109/NEWCAS49341.2020.9159822},
pages = {66-69}
}
