<  Back to the Polytechnique Montréal portal

Items where Author is "Najem, M."

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Authors | Publication Date | Document subtype | No Grouping
Jump to: B
Number of items: 1.

B

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

List generated on: Thu Sep 21 08:02:35 2023 EDT
PolyPublie is the institutional repository of Polytechnique Montréal.
This website is powered by the EPrints open-source software.