![](/img/cover-not-exists.png)
[IEEE 2006 IEEE/ACM International Conference on Computer Aided Design - Double Tree Hotel, San Jose, CA,USA (2006.11.5-2006.11.9)] 2006 IEEE/ACM International Conference on Computer Aided Design - Accelerating High-level Bounded Model Checking
Ganai, Malay, Gupta, AartiYear:
2006
Language:
english
DOI:
10.1109/iccad.2006.320122
File:
PDF, 10.51 MB
english, 2006