Erich Barke, Darius Grabowski, Helmut Graeb, Lars Hedrich, Stefan Heinen, Ralf Popp, Sebastian Steinhorst, Yifan Wang. Formal approaches to analog circuit verification. In Design, Automation and Test in Europe, DATE 2009, Nice, France, April 20-24, 2009. pages 724-729, IEEE, 2009. [doi]
Abstract is missing.