Login
- Document type:
- Konferenzbeitrag
- Author(s):
- Lee, H.-S. L.; Althoff, M.; Hoelldampf, S.; Olbrich, M.; Barke, E.
- Title:
- Automated Generation of Hybrid System Models for Reachability Analysis of Nonlinear Analog Circuits
- Pages contribution:
- 725-730
- Book / Congress title:
- Proc. of the 20th Asia and South Pacific Design Automation Conference
- Year:
- 2015
- Fulltext / DOI:
- doi:10.1109/ASPDAC.2015.7059096
BibTeX