Login
- Title:
Formal Approaches to Analog Circuit Verification
- Author(s):
- Barke, E.; Grabowski, D.; Graeb, Helmut; Hedrich, L.; Heinen, St.; Popp, R.; Steinhorst, S.; Wang, Y.
- Book / Congress title:
- Design, Automation and Test in Europe (DATE)
- Year:
- 2009
BibTeX