Documents publiés en "2009"

Pour citer ou exporter
Nombre de documents: 1

Département de génie informatique et génie logiciel

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. Lien externe

Liste produite: Wed Oct 21 05:59:50 2026 EDT.