M. Hasan Zobair

According to our database, M. Hasan Zobair authored at least 1 paper in 2002.

Collaborative distances:

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

2002

Formal Verification of a SONET Telecom System Block.

M. Hasan Zobair, Sofiène Tahar

Proceedings of the Formal Methods and Software Engineering, 2002