![](/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 - Complex system verification (panel)
Collett, Ron, McMillan, Ken, Sangiovanni-Vincentelli, Alberto, Baynes, Martin, Zafar, Naeem, Sapiro, Steve, Van Ginderdeuren, Johan, Ricca, StephenYear:
1994
Language:
english
DOI:
10.1145/196244.196394
File:
PDF, 9 KB
english, 1994