@article{ADJ2,
title = { {sasa: a SimulAtor of Self-stabilizing Algorithms} },
author = {Altisen, Karine and Devismes, St\'ephane and Jahier, Erwan},
month = {01},
year = {2022},
journal = {The Computer Journal},
team = {axe_SharedResources, SYNC},
}
