Manal Najem

According to our database, Manal Najem authored at least 1 paper in 2010.

Collaborative distances:

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

2010

Symbolic Model-Checking of Optimistic Replication Algorithms.

Hanifa Boucheneb, Abdessamad Imine, Manal Najem

Proceedings of the Integrated Formal Methods - 8th International Conference, 2010