@misc{indiciae04222d9e5975,
  title = {Verification of Population Protocols with Unordered Data},
  author = {Steffen van Bergerem and Roland Guttenberg and Sandra Kiefer and Corto Mascle and Nicolas Waldburger and Chana Weil-Kennedy},
  year = {2024},
  url = {https://arxiv.org/abs/2405.00921},
  note = {Source identifier: 2405.00921}
}