@misc{indiciaeab683c319962,
  title = {Verification under TSO with an infinite Data Domain},
  author = {Parosh Aziz Abdulla and Mohamed Faouzi Atig and Florian Furbach and Shashwat Garg},
  year = {2024},
  url = {https://arxiv.org/abs/2401.10423},
  note = {Source identifier: 2401.10423}
}