According to our database1, Moataz Kamel authored at least 3 papers between 1999 and 2000.
Legend:Book In proceedings Article PhD thesis Other
Formalization and Validation of the General Inter-ORB Protocol (GIOP) using PROMELA and SPIN.
Int. J. Softw. Tools Technol. Transf., 2000
Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 2000
Proceedings of the Theoretical and Practical Aspects of SPIN Model Checking, 1999