Katharina Weinberger, Slava Bulach, Wolfgang Rosenstiel. Property Set Exhaustiveness Estimation Approach for BMC-based Formal Hardware Verification. 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 111-119, Shaker, 2007.
Abstract is missing.