| |
| 2004 | ||
|---|---|---|
| 1 | EE | Francine Bacchini, Robert F. Damiano, Bob Bentley, Kurt Baty, Kevin Normoyle, Makoto Ishii, Einat Yogev: Verification: what works and what doesn't. DAC 2004: 274 |
| 1 | Francine Bacchini | [1] |
| 2 | Kurt Baty | [1] |
| 3 | Bob Bentley | [1] |
| 4 | Robert F. Damiano | [1] |
| 5 | Kevin Normoyle | [1] |
| 6 | Einat Yogev | [1] |