Symbolic Model-Checking of Optimistic Replication Algorithms

Hanifa Boucheneb, Abdessamad Imine, Manal Najem

Communication écrite (2010)

Accéder à ce document
Lien externe
Ce document n'est pas archivé dans PolyPublie, mais peut être consulté chez l'éditeur officiel
Voir chez l'éditeur officiel
Département:
Département de génie informatique et génie logiciel
Adresse URL de PolyPublie:
https://publications.polymtl.ca/18596/
Nom de la conférence:
8th International Conference on Integrated Formal Methods (IFM 2010)
Lieu de la conférence:
Nancy, France
Date(s) de la conférence:
2010-10-11 - 2010-10-14
Maison d'édition:
Springer-Verlag
DOI:
10.1007/978-3-642-16265-7_8
URL officielle:
https://doi.org/10.1007/978-3-642-16265-7_8
OAI:
oai:publications.polymtl.ca:18596
ORCID
Date du dépôt:
18 avr. 2023 15:13
Dernière modification:
14 oct. 2026 11:21
Citer en APA 7:
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. https://doi.org/10.1007/978-3-642-16265-7_8

Statistiques

Dimensions

Actions réservées au personnel

Afficher document
Afficher document