Verification of analog and mixed-signal circuits using hybrid systems techniques (2004)

by Thao Dang , Re Donzé , Oded Maler
Venue:In FMCAD, LNCS
Citations:33 - 6 self