Discover open access scientific publications

Search, annotate, share and cite publications

Publications by Hyun-Sek Lukas Lee

Automated Generation of Hybrid System Models for Reachability Analysis of Nonlinear Analog Circuits

English