TY - CONF T1 - Verifying Opacity of a Transactional Mutex Lock PY - 2015/01/01 AU - Derrick J AU - Dongol B AU - Schellhorn G AU - Travkin O AU - Wehrheim H ED - DO - DOI: 10.1007/978-3-319-19249-9_11 PB - Springer International Publishing SN - 9783319192482 SP - 161 EP - 177 Y2 - 2025/05/30 ER -