TY  - RPRT
TI  - On the Complexity of Checking Transactional Consistency
AU  - Ranadeep Biswas
AU  - Constantin Enea
PY  - 2019
UR  - https://arxiv.org/abs/1908.04509
ID  - 1908.04509
ER  -