![](/img/cover-not-exists.png)
[ACM Press the 36th ACM/IEEE conference - New Orleans, Louisiana, United States (1999.06.21-1999.06.25)] Proceedings of the 36th ACM/IEEE conference on Design automation conference - DAC '99 - Coverage estimation for symbolic model checking
Hoskote, Yatin, Kam, Timothy, Ho, Pei-Hsin, Zhao, XudongYear:
1999
Language:
english
DOI:
10.1145/309847.309936
File:
PDF, 77 KB
english, 1999