![](/img/cover-not-exists.png)
[ACM Press the 1998 IEEE/ACM international conference - San Jose, California, United States (1998.11.08-1998.11.12)] Proceedings of the 1998 IEEE/ACM international conference on Computer-aided design - ICCAD '98 - Approximate reachability don't cares for CTL model checking
Moon, In-Ho, Jang, Jae-Young, Hachtel, Gary D., Somenzi, Fabio, Yuan, Jun, Pixley, CarlYear:
1998
Language:
english
DOI:
10.1145/288548.289053
File:
PDF, 917 KB
english, 1998