<  Retour au portail Polytechnique Montréal

Documents dont l'auteur est "Najem, M."

Monter d'un niveau
Pour citer ou exporter [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Grouper par: Auteurs ou autrices | Date de publication | Sous-type de document | Aucun groupement
Aller à : B
Nombre de documents: 1

B

Boucheneb, H., Imine, A., & Najem, M. (octobre 2010). Symbolic Model-Checking of Optimistic Replication Algorithms [Communication écrite]. 8th International Conference on Integrated Formal Methods (IFM 2010), Nancy, France. Lien externe

Liste produite: Mon Feb 5 04:40:56 2024 EST.
PolyPublie est le dépôt institutionnel de Polytechnique Montréal.
Site développé à l'aide du logiciel libre EPrints.