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]
@inproceedings{LeeAHOB15,
title = {Automated generation of hybrid system models for reachability analysis of nonlinear analog circuits},
author = {Hyun-Sek Lukas Lee and Matthias Althoff and Stefan Hoelldampf and Markus Olbrich and Erich Barke},
year = {2015},
doi = {10.1109/ASPDAC.2015.7059096},
url = {http://dx.doi.org/10.1109/ASPDAC.2015.7059096},
researchr = {https://researchr.org/publication/LeeAHOB15},
cites = {0},
citedby = {0},
pages = {725-730},
booktitle = {The 20th Asia and South Pacific Design Automation Conference, ASP-DAC 2015, Chiba, Japan, January 19-22, 2015},
publisher = {IEEE},
isbn = {978-1-4799-7792-5},
}