Benutzer: Gast  Login
Titel:

Formal approaches to analog circuit verification

Autor(en):
Barke, Erich; Grabowski, Darius; Graeb, Helmut; Hedrich, Lars; Heinen, Stefan; Popp, Ralf; Steinhorst, Sebastian; Wang, Yifan
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