TY  - RPRT
TI  - Parameterized Verification of Round-based Distributed Algorithms via Extended Threshold Automata
AU  - Tom Baumeister
AU  - Paul Eichler
AU  - Swen Jacobs
AU  - Mouhammad Sakr
AU  - Marcus Völp
PY  - 2024
UR  - https://arxiv.org/abs/2406.19880
ID  - 2406.19880
ER  -