Alicia Manthe, Zhao Li, C.-J. Richard Shi, Kartikeya Mayaram. Symbolic Analysis of Nonlinear Analog Circuits. In 2003 Design, Automation and Test in Europe Conference and Exposition (DATE 2003), 3-7 March 2003, Munich, Germany. pages 11108-11109, IEEE Computer Society, 2003. [doi]