| |
| 1994 | ||
|---|---|---|
| 1 | 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 |
| 1 | Martin Baynes | [1] |
| 2 | Ronald Collett | [1] |
| 3 | Michel Courtoy | [1] |
| 4 | Mike Gianfagna | [1] |
| 5 | Johan Van Ginderdeuren | [1] |
| 6 | Kenneth L. McMillan | [1] |
| 7 | Alberto L. Sangiovanni-Vincentelli | [1] |
| 8 | Steve Sapiro | [1] |
| 9 | Naeem Zafar | [1] |