TY  - RPRT
TI  - Verifying Visibility-Based Weak Consistency
AU  - Siddharth Krishna
AU  - Michael Emmi
AU  - Constantin Enea
AU  - Dejan Jovanovic
PY  - 2019
UR  - https://arxiv.org/abs/1911.01508
ID  - 1911.01508
ER  -