TY  - RPRT
TI  - Optimal Stateless Model Checking under the Release-Acquire Semantics
AU  - Parosh Aziz Abdulla
AU  - Mohamed Faouzi Atig
AU  - Bengt Jonsson
AU  - Tuan Phong Ngo
PY  - 2018
UR  - https://arxiv.org/abs/1808.00843
ID  - 1808.00843
ER  -