![]() | ![]() |
1994 | ||
---|---|---|
2 | EE | Ronald Collett, Mike Gianfagna, Michel Courtoy, Martin Baynes, Johan Van Ginderdeuren, Kenneth L. McMillan, Stephen Ricca, Alberto L. Sangiovanni-Vincentelli, Steve Sapiro, Naeem Zafar: Panel: Complex System Verification: The Challenge Ahead. DAC 1994: 320 |
1992 | ||
1 | EE | Patrick M. Hefferan, Steve Sapiro: Acquiring and Maintaining State-of-the-Art DA Systems. DAC 1992: 387-392 |
1 | Martin Baynes | [2] |
2 | Ronald Collett | [2] |
3 | Michel Courtoy | [2] |
4 | Mike Gianfagna | [2] |
5 | Johan Van Ginderdeuren | [2] |
6 | Patrick M. Hefferan | [1] |
7 | Kenneth L. McMillan | [2] |
8 | Stephen Ricca | [2] |
9 | Alberto L. Sangiovanni-Vincentelli | [2] |
10 | Naeem Zafar | [2] |