TY  - RPRT
TI  - Verification of Population Protocols with Unordered Data
AU  - Steffen van Bergerem
AU  - Roland Guttenberg
AU  - Sandra Kiefer
AU  - Corto Mascle
AU  - Nicolas Waldburger
AU  - Chana Weil-Kennedy
PY  - 2024
UR  - https://arxiv.org/abs/2405.00921
ID  - 2405.00921
ER  -