<  Back to the Polytechnique Montréal portal

Symbolic Model-Checking of Optimistic Replication Algorithms

Hanifa Boucheneb, A. Imine and M. Najem

Paper (2010)

An external link is available for this item
Department: Department of Computer Engineering and Software Engineering
PolyPublie URL: https://publications.polymtl.ca/18596/
Conference Title: 8th International Conference on Integrated Formal Methods (IFM 2010)
Conference Location: Nancy, France
Conference Date(s): 2010-10-11 - 2010-10-14
Publisher: Springer-Verlag
DOI: 10.1007/978-3-642-16265-7_8
Official URL: https://doi.org/10.1007/978-3-642-16265-7_8
Date Deposited: 18 Apr 2023 15:13
Last Modified: 29 Sep 2023 13:53
Cite in APA 7: Boucheneb, H., Imine, A., & Najem, M. (2010, October). Symbolic Model-Checking of Optimistic Replication Algorithms [Paper]. 8th International Conference on Integrated Formal Methods (IFM 2010), Nancy, France. https://doi.org/10.1007/978-3-642-16265-7_8

Statistics

Dimensions

Repository Staff Only

View Item View Item