TY  - RPRT
TI  - Detecting Robustness against MVRC for Transaction Programs with Predicate Reads
AU  - Brecht Vandevoort
AU  - Bas Ketsman
AU  - Christoph Koch
AU  - Frank Neven
PY  - 2023
UR  - https://arxiv.org/abs/2302.08789
ID  - 2302.08789
ER  -