Aurel Randolph, Abdessamad Imine, Hanifa Boucheneb, Alejandro Quintero. Specification and Verification Using Alloy of Optimistic Access Control for Distributed Collaborative Editors. In Charles Pecheur, Michael Dierkes, editors, Formal Methods for Industrial Critical Systems - 18th International Workshop, FMICS 2013, Madrid, Spain, September 23-24, 2013. Proceedings. Volume 8187 of Lecture Notes in Computer Science, pages 184-198, Springer, 2013. [doi]
@inproceedings{RandolphIBQ13,
title = {Specification and Verification Using Alloy of Optimistic Access Control for Distributed Collaborative Editors},
author = {Aurel Randolph and Abdessamad Imine and Hanifa Boucheneb and Alejandro Quintero},
year = {2013},
doi = {10.1007/978-3-642-41010-9_13},
url = {http://dx.doi.org/10.1007/978-3-642-41010-9_13},
researchr = {https://researchr.org/publication/RandolphIBQ13},
cites = {0},
citedby = {0},
pages = {184-198},
booktitle = {Formal Methods for Industrial Critical Systems - 18th International Workshop, FMICS 2013, Madrid, Spain, September 23-24, 2013. Proceedings},
editor = {Charles Pecheur and Michael Dierkes},
volume = {8187},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-642-41009-3},
}