Statistics
Publications
16
Citations
44
Location
Hanover, Germany
16
Formal approaches to analog circuit verification
Erich Barke, Darius Grabowski, Helmut Graeb et al. · Design, Automation, and Test in Europe · 2009 · 15 citations
Formal approaches to analog circuit verification
Erich Barke, Darius Grabowski, Helmut Graeb et al. · 2009 · 11 citations
1–2 of 16