@phdthesis{Tarraf2021,
  author      = {Ahmad Tarraf},
  title       = {Formal abstraction and verification of analog circuits},
  type        = {doctoralthesis},
  pages       = {211},
  school      = {Universit{\"a}tsbibliothek Johann Christian Senckenberg},
  year        = {2021},
}