Biblio

Found 1 results

Filters: Author is Meng, Yu [Clear All Filters]

2018

Fan C, Meng Y, Maier U, Bartocci E, Mitra S, Schmid U. 2018. Verifying nonlinear analog and mixed-signal circuits with inputs. IFAC Conference on Analysis and Design of Hybrid Systems, (ADHS).