Mohamed H. Zaki, Ghiath Al Sammane, Sofiène Tahar. Formal Verification of Analog and Mixed Signal Designs in Mathematica. In Yong Shi, G. Dick van Albada, Jack Dongarra, Peter M. A. Sloot, editors, Computational Science - ICCS 2007, 7th International Conference, Beijing, China, May 27 - 30, 2007, Proceedings, Part II. Volume 4488 of Lecture Notes in Computer Science, pages 263-267, Springer, 2007. [doi]
Abstract is missing.