TY  - RPRT
TI  - Automatically Verifying Replication-aware Linearizability
AU  - Vimala Soundarapandian
AU  - Kartik Nagar
AU  - Aseem Rastogi
AU  - KC Sivaramakrishnan
PY  - 2025
UR  - https://arxiv.org/abs/2502.19967
ID  - 2502.19967
ER  -