TY  - RPRT
TI  - Safety Analysis of Parameterised Networks with Non-Blocking Rendez-Vous
AU  - Lucie Guillou
AU  - Arnaud Sangnier
AU  - Nathalie Sznajder
PY  - 2023
UR  - https://arxiv.org/abs/2307.04546
ID  - 2307.04546
ER  -