TY  - RPRT
TI  - Safety Verification of Parameterized Systems under Release-Acquire
AU  - Adwait Godbole
AU  - Shankara Narayanan Krishna
AU  - Roland Meyer
PY  - 2022
UR  - https://arxiv.org/abs/2101.12123
ID  - 2101.12123
ER  -