BibTeX record conf/ddecs/CoskunHD22

download as .bib file

@inproceedings{DBLP:conf/ddecs/CoskunHD22,
  author       = {Kemal {\c{C}}aglar Coskun and
                  Muhammad Hassan and
                  Rolf Drechsler},
  title        = {Equivalence Checking of System-Level and SPICE-Level Models of Linear
                  Analog Filters},
  booktitle    = {25th International Symposium on Design and Diagnostics of Electronic
                  Circuits and Systems, {DDECS} 2022, Prague, Czech Republic, April
                  6-8, 2022},
  pages        = {160--165},
  publisher    = {{IEEE}},
  year         = {2022},
  url          = {https://doi.org/10.1109/DDECS54261.2022.9770142},
  doi          = {10.1109/DDECS54261.2022.9770142},
  timestamp    = {Sat, 30 Sep 2023 09:38:47 +0200},
  biburl       = {https://dblp.org/rec/conf/ddecs/CoskunHD22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics