Hanifa Boucheneb
et Abdessamad Imine
Communication écrite (2009)
Un lien externe est disponible pour ce document
| Département: | Département de génie informatique et génie logiciel |
|---|---|
| URL de PolyPublie: | https://publications.polymtl.ca/19907/ |
| 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 |
| DOI: | 10.1007/978-3-642-02138-1_5 |
| URL officielle: | https://doi.org/10.1007/978-3-642-02138-1_5 |
| Date du dépôt: | 18 avr. 2023 15:14 |
| Dernière modification: | 25 sept. 2024 15:58 |
| 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
Actions réservées au personnel
|
Afficher document |
