TY  - RPRT
TI  - Verifying linearizability: A comparative survey
AU  - Brijesh Dongol
AU  - John Derrick
PY  - 2015
UR  - https://arxiv.org/abs/1410.6268
ID  - 1410.6268
ER  -