Hanifa Boucheneb, Abdessamad Imine
Communication écrite (2009)
Accéder à ce document
Lien externe
Ce document n'est pas archivé dans PolyPublie, mais peut être consulté chez l'éditeur officiel
Département:
Adresse URL de PolyPublie:
Nom de la conférence:
Joint 11th IFIP WG 6.1 International Conference (FMOODS 2009) and 29th IFIP WG 6.1 International Conference (FORTE 2009)
Lieu de la conférence:
Lisboa, Portugal
Date(s) de la conférence:
2009-06-09 - 2009-06-12
Maison d'édition:
Springer-Verlag
URL officielle:
OAI:
oai:publications.polymtl.ca:19907
ORCID
Date du dépôt:
18 avr. 2023 15:14
Dernière modification:
14 oct. 2026 11:23
Citer en APA 7:
Boucheneb, H., & Imine, A. (juin 2009). On model-checking optimistic replication algorithms [Communication écrite]. Joint 11th IFIP WG 6.1 International Conference (FMOODS 2009) and 29th IFIP WG 6.1 International Conference (FORTE 2009), Lisboa, Portugal. https://doi.org/10.1007/978-3-642-02138-1_5
Statistiques
Dimensions
