TY  - CONF

T1  - Proving opacity of a pessimistic STM

CY  - Germany

JO  - Leibniz International Proceedings in Informatics

UR  - https://eprints.whiterose.ac.uk/id/eprint/117583

UR  - https://doi.org/10.4230/LIPIcs.OPODIS.2016.35

PY  - 2017/01/01

AU  - Doherty S

AU  - Dongol B

AU  - Derrick J

AU  - Schellhorn G

AU  - Wehrheim H

ED  - Fatourou P

ED  - Jiménez E

ED  - Pedone F

DO  - DOI: 10.4230/LIPIcs.OPODIS.2016.35

PB  - Dagstuhl Publishing

SN  - 9783959770316

VL  - 70

IS  - 35

SP  - 35.1

EP  - 35.17

Y2  - 2025/11/27

ER  -