TY  - JOUR

T1  - Modularising Verification Of Durable Opacity

JO  - Logical Methods in Computer Science

UR  - http://dx.doi.org/10.46298/lmcs-18(3:7)2022

PY  - 2022/07/28

AU  - Bila E

AU  - Derrick J

AU  - Doherty S

AU  - Dongol B

AU  - Schellhorn G

AU  - Wehrheim H

ED  - 

DO  - DOI: 10.46298/lmcs-18(3:7)2022

PB  - Centre pour la Communication Scientifique Directe (CCSD)

VL  - Volume 18, Issue 3

Y2  - 2024/12/22

ER  -