BibTex Format for Publications

@inproceedings { RecKor2020,
  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}
}


Back