- Author(s):
- Barke, Erich; Grabowski, Darius; Graeb, Helmut; Hedrich, Lars; Heinen, Stefan; Popp, Ralf; Steinhorst, Sebastian; Wang, Yifan
- Title:
- Formal approaches to analog circuit verification
- Book / Congress title:
- Design, Automation Test in Europe Conference Exhibition, 2009. DATE '09.
- Year:
- 2009
- Month:
- 4
- Pages:
- 724-729
- Fulltext / DOI:
- doi:10.1109/DATE.2009.5090759
- BibTeX