Erika Ábrahám, Marc Herbstritt, Bernd Becker, Martin Steffen. Memory-aware Bounded Model Checking for Linear Hybrid Systems. 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 153-162, Fraunhofer Institut für Integrierte Schaltungen, 2006.
Abstract is missing.