Hyun-Sek Lukas Lee, Matthias Althoff, Stefan Hoelldampf, Markus Olbrich, Erich Barke. Automated generation of hybrid system models for reachability analysis of nonlinear analog circuits. In The 20th Asia and South Pacific Design Automation Conference, ASP-DAC 2015, Chiba, Japan, January 19-22, 2015. pages 725-730, IEEE, 2015. [doi]
No references recorded for this publication.
No citations of this publication recorded.