Hanifa Boucheneb, Abdessamad Imine and Manal Najem
Paper (2010)
An external link is available for this itemDepartment: | 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: | 25 Sep 2024 15:56 |
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