@article{article, title  = {{Modularising Verification Of Durable Opacity}},

 publisher = {{Centre pour la Communication Scientifique Directe (CCSD)}},

 url = {{http://dx.doi.org/10.46298/lmcs-18(3:7)2022 }},

 year = {{2022}},

 month = {{7}},

 author = {{Bila E and Derrick J and Doherty S and Dongol B and Schellhorn G and Wehrheim H}},

 doi = {{10.46298/lmcs-18(3:7)2022}},

 volume = {{Volume 18, Issue 3}},

 journal = {{Logical Methods in Computer Science}},

 note = {{Accessed on 2024/12/20}}}