TY  - RPRT
TI  - Parametric Timed Broadcast Protocols
AU  - Étienne André
AU  - Benoît Delahaye
AU  - Paulin Fournier
AU  - Didier Lime
PY  - 2019
DO  - 10.1007/978-3-030-11245-5_23
UR  - https://arxiv.org/abs/1811.12576
ID  - 1811.12576
ER  -