| |
| 2002 | ||
|---|---|---|
| 1 | EE | Joel Blasquez, Marten van Hulst, Andrea Fedeli, Jean-Luc Lambert, Dominique Borrione, Coby Hanoch, Pierre Bricaud: Formal Verification Techniques: Industrial Status and Perspectives. DATE 2002: 1050-1051 |
| 1 | Joel Blasquez | [1] |
| 2 | Dominique Borrione | [1] |
| 3 | Pierre Bricaud | [1] |
| 4 | Andrea Fedeli | [1] |
| 5 | Marten van Hulst | [1] |
| 6 | Jean-Luc Lambert | [1] |