Parosh Aziz Abdulla, Mohamed Faouzi Atig, Bengt Jonsson, Tuan Phong Ngo
Optimal stateless model checking under the release-acquire semantics
OOPSLA, 2018.
@article{OOPSLA-2018-AbdullaAJN,
author = "Parosh Aziz Abdulla and Mohamed Faouzi Atig and Bengt Jonsson and Tuan Phong Ngo",
doi = "10.1145/3276505",
journal = "{Proceedings of the ACM on Programming Languages}",
number = "OOPSLA",
pages = "29",
publisher = "{ACM}",
title = "{Optimal stateless model checking under the release-acquire semantics}",
volume = 2,
year = 2018,
}