Documents publiés en "2010"

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: Thu May 2 02:19:59 2024 EDT.

PolyPublie est le dépôt institutionnel de Polytechnique Montréal.
Site développé à l'aide du logiciel libre EPrints.

Pour citer ou exporter	Atom RSS 1.0 RSS 2.0