<  Back to the Polytechnique Montréal portal

Items where Author is "Najem, Manal"

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Jump to: B | N
Number of items: 2.


Boucheneb, H., Imine, A., & Najem, M. (2010, October). Symbolic Model-Checking of Optimistic Replication Algorithms [Paper]. 8th International Conference on Integrated Formal Methods (IFM 2010), Nancy, France. External link


Najem, M. (2009). Model-Checking symbolique pour la vérification de systèmes et son application aux tables de décision et aux systèmes d'éditions collaboratives distribuées [Master's thesis, École Polytechnique de Montréal]. Available

List generated on: Fri Jun 14 18:24:50 2024 EDT