Login
- Autor(en):
- Barke, Erich; Grabowski, Darius; Graeb, Helmut; Hedrich, Lars; Heinen, Stefan; Popp, Ralf; Steinhorst, Sebastian; Wang, Yifan
- Titel:
- Formal approaches to analog circuit verification
- Kongress- / Buchtitel:
- Design, Automation Test in Europe Conference Exhibition, 2009. DATE '09.
- Jahr:
- 2009
- Monat:
- 4
- Seiten:
- 724-729
- Volltext / DOI:
- doi:10.1109/DATE.2009.5090759
BibTeX