Andreas Ehrenfried, Daniel Scholz, Tobias Welp. Anwendungsmöglichkeiten von Bounded Model Checking und affiner Arithmetik für die Verifikation von Analogschaltungen. In Bernd Straube, Martin Freibothe, editors, Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Dresden, Germany, February 20-22, 2006. pages 114-121, Fraunhofer Institut für Integrierte Schaltungen, 2006.
Abstract is missing.