TY  - CONF

T1  - Observational Models for Linearizability Checking on Weak Memory Models

JO  - 2018 International Symposium on Theoretical Aspects of Software Engineering (TASE)

PY  - 2018/08/12

AU  - Winter K

AU  - Smith G

AU  - Derrick J

ED  - 

DO  - DOI: 10.1109/tase.2018.00021

SN  - 9781538673058

SP  - 100

EP  - 107

Y2  - 2024/12/26

ER  -