![]() | ![]() |
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 | Leila Barakatain | [1] |
2 | Jean Lamarche | [1] |
3 | Sofiène Tahar | [1] |