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 - 2025/05/28 ER -