Login
- Titel:
Formal Approaches to Analog Circuit Verification
- Autor(en):
- Barke, E.; Grabowski, D.; Graeb, Helmut; Hedrich, L.; Heinen, St.; Popp, R.; Steinhorst, S.; Wang, Y.
- Kongress- / Buchtitel:
- Design, Automation and Test in Europe (DATE)
- Jahr:
- 2009
BibTeX