@misc{indiciaeabbbecf07818,
  title = {Model Checking Race-freedom When "Sequential Consistency for Data-race-free Programs" is Guaranteed},
  author = {Wenhao Wu and Jan Hückelheim and Paul D. Hovland and Ziqing Luo and Stephen F. Siegel},
  year = {2023},
  url = {https://arxiv.org/abs/2305.18198},
  note = {Source identifier: 2305.18198}
}