Analog Circuit Verification: a State of an Art

Oded Maler. Analog Circuit Verification: a State of an Art. Electronic Notes in Theoretical Computer Science, 153(3):3-7, 2006. [doi]

Abstract

Abstract is missing.