@phdthesis{Steinhorst2011,
  author      = {Sebastian Steinhorst},
  title       = {Formal verification methodologies for nonlinear analog circuits},
  type        = {doctoralthesis},
  school      = {Universit{\"a}tsbibliothek Johann Christian Senckenberg},
  year        = {2011},
}