| |
| 2001 | ||
|---|---|---|
| 1 | EE | Leila Barakatain, Sofiène Tahar, Jean Lamarche, Jean-Marc Gendreau: Practical approaches to the verification of a telecom megacell using FormalCheck. ACM Great Lakes Symposium on VLSI 2001: 1-6 |
| 1 | Jean-Marc Gendreau | [1] |
| 2 | Jean Lamarche | [1] |
| 3 | Sofiène Tahar | [1] |