Verification of analog and mixed-signal circuits using hybrid system techniques,” (2004)

by T Dang, A Donz, O Maler
Venue:in Formal Methods in Computer-Aided Design, ser. Lecture Notes in Computer Science, A. Hu