TY  - RPRT
TI  - Formally Proving and Enhancing a Self-Stabilising Distributed Algorithm
AU  - Camille Coti
AU  - Charles Lakos
AU  - Laure Petrucci
PY  - 2016
UR  - https://arxiv.org/abs/1601.03767
ID  - 1601.03767
ER  -