TY  - CONF

T1  - Verifying linearizability on TSO architectures

JO  - Integrated Formal Methods. IFM: International Conference on Integrated Formal Methods

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

PY  - 2014/01/01

AU  - Derrick J

AU  - Smith G

AU  - Dongol B

ED  - 

DO  - DOI: 10.1007/978-3-319-10181-1_21

SN  - 9783319101804

VL  - 8739

SP  - 341

EP  - 356

Y2  - 2024/12/22

ER  -