Leila Barakatain

According to our database, Leila Barakatain authored at least 1 paper in 2001.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2001

Practical approaches to the verification of a telecom megacell using FormalCheck.

Leila Barakatain, Sofiène Tahar, Jean Lamarche, Jean-Marc Gendreau

Proceedings of the 11th ACM Great Lakes Symposium on VLSI 2001, 2001