TY  - RPRT
TI  - Description of the UPPAAL Models for SRP and CSRP and Verification of their Termination and Consistency Properties
AU  - Daniel Bujosa
AU  - Inés Álvarez
AU  - Julián Proenza
PY  - 2020
UR  - https://arxiv.org/abs/2007.15712
ID  - 2007.15712
ER  -