Claudia Blank. Employment of Property Checking for Functional Hardware Verification in an Industrial Setting. In Christian Haubelt, Jürgen Teich, editors, Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Erlangen, Germany, March 5-7, 2007. pages 191-192, Shaker, 2007.
Abstract is missing.