TY  - CONF

T1  - Proving opacity of a pessimistic STM

JO  - Leibniz International Proceedings in Informatics, LIPIcs

UR  - http://eprints.whiterose.ac.uk/117583/

PY  - 2017/01/01

AU  - Doherty S

AU  - Dongol B

AU  - Derrick J

AU  - Schellhorn G

AU  - Wehrheim H

ED  - 

DO  - DOI: 10.4230/LIPIcs.OPODIS.2016.35

SN  - 9783959770316

VL  - 70

SP  - 35.1

EP  - 35.17

Y2  - 2024/12/22

ER  -