TY  - RPRT
TI  - Automated Synthesis of Distributed Self-Stabilizing Protocols
AU  - Fathiyeh Faghih
AU  - Borzoo Bonakdarpour
AU  - Sebastien Tixeuil
AU  - Sandeep Kulkarni
PY  - 2018
DO  - 10.23638/lmcs-14(1:12)2018
UR  - https://arxiv.org/abs/1509.05664
ID  - 1509.05664
ER  -