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.
@inproceedings{WeinbergerBR07,
title = {Property Set Exhaustiveness Estimation Approach for BMC-based Formal Hardware Verification},
author = {Katharina Weinberger and Slava Bulach and Wolfgang Rosenstiel},
year = {2007},
researchr = {https://researchr.org/publication/WeinbergerBR07},
cites = {0},
citedby = {0},
pages = {111-119},
booktitle = {Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Erlangen, Germany, March 5-7, 2007},
editor = {Christian Haubelt and Jürgen Teich},
publisher = {Shaker},
}