TY  - RPRT
TI  - Verification of the busy-forbidden protocol (using an extension of the cones and foci framework)
AU  - P. H. M. van Spaendonck
PY  - 2023
UR  - https://arxiv.org/abs/2208.05334
ID  - 2208.05334
ER  -