@article{ADJ3,
title = { sasa: a SimulAtor of Self-stabilizing Algorithms },
author = {Altisen, Karine and Devismes, St\'ephane and Jahier, Erwan},
year = {2023},
journal = {Comput. J.},
number = {4},
pages = {796--814},
volume = {66},
team = {SYNC},
timestamp = {Tue, 16 May 2023 22:42:17 +0200},
}