Follow
Description of the UPPAAL Models for SRP and CSRP and Verification of their Termination and Consistency Properties. (arXiv:2007.15712v1 [cs.NI]) http://arxiv.org/abs/2007.15712
Description of the UPPAAL Models for SRP and CSRP and Verification of their Termination and Consistency Properties. (arXiv:2007.15712v1 [cs.NI]) http://arxiv.org/abs/2007.15712