![](/img/cover-not-exists.png)
[ACM Press the 31st annual conference - San Diego, California, United States (1994.06.06-1994.06.10)] Proceedings of the 31st annual conference on Design automation conference - DAC '94 - A fully implicit algorithm for exact state minimization
Kam, Timothy, Villa, Tiziano, Brayton, Robert, Sangiovanni-Vincentelli, AlbertoYear:
1994
Language:
english
DOI:
10.1145/196244.196615
File:
PDF, 174 KB
english, 1994