@misc{indiciae44e6b23101fa,
  title = {Parameterized safety verification of round-based shared-memory systems},
  author = {Nathalie Bertrand and Nicolas Markey and Ocan Sankur and Nicolas Waldburger},
  year = {2022},
  url = {https://arxiv.org/abs/2204.11670},
  note = {Source identifier: 2204.11670}
}