DMCA

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

by Thao Dang , Alexandre Donzé , Oded Maler
Venue:IN FMCAD, LNCS
Citations:49 - 6 self