TY  - RPRT
TI  - On Reducing Linearizability to State Reachability
AU  - Ahmed Bouajjani
AU  - Michael Emmi
AU  - Constantin Enea
AU  - Jad Hamza
PY  - 2015
UR  - https://arxiv.org/abs/1502.06882
ID  - 1502.06882
ER  -