Login
- Titel:
Advanced methods for equivalence checking of analog circuits with strong nonlinearities
- Autor(en):
- Steinhorst, Sebastian; Hedrich, Lars
- Zeitschriftentitel:
- Formal Methods in System Design (FMSD)
- Jahr:
- 2010
- Band / Volume:
- 36
- Monat:
- 6
- Heft / Issue:
- 2
- Seitenangaben Beitrag:
- 131-147
- Volltext / DOI:
- doi:10.1007/s10703-009-0086-9
- Verlag / Institution:
- Springer US
- Print-ISSN:
- 0925-9856
BibTeX