@misc{indiciae151a069ef27a,
  title = {Formally Proving and Enhancing a Self-Stabilising Distributed Algorithm},
  author = {Camille Coti and Charles Lakos and Laure Petrucci},
  year = {2016},
  url = {https://arxiv.org/abs/1601.03767},
  note = {Source identifier: 1601.03767}
}