![](/img/cover-not-exists.png)
[IEEE 2008 Ninth International Workshop on Microprocessor Test and Verification - Austin, TX, USA (2008.12.8-2008.12.10)] 2008 Ninth International Workshop on Microprocessor Test and Verification - Property Analysis and Design Understanding in a Quality-Driven Bounded Model Checking Flow
Kühne, Ulrich, Große, Daniel, Drechsler, RolfYear:
2008
Language:
english
DOI:
10.1109/mtv.2008.17
File:
PDF, 247 KB
english, 2008