Benutzer: Gast  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:
Seiten:
724-729