Minh D. Nguyen, Markus Wedler, Bernard Schmidt, Dominik Stoffel, Wolfgang Kunz. Formal Hardware/Software Co-Verification by Interval Property Checking with Abstraction. In Frank Oppenheimer, editor, Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Oldenburg, Germany, February 21-23, 2011. pages 61-70, OFFIS-Institut für Informatik, 2011.
Abstract is missing.