User: Guest  Login
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 
Book / Congress title:
Proc. of the 20th Asia and South Pacific Design Automation Conference 
Year:
2015