@inproceedings{ADJ0,
title = { {SASA}: {A} SimulAtor of Self-stabilizing Algorithms },
author = {Altisen, Karine and Devismes, St\'ephane and Jahier, Erwan},
year = {2020},
booktitle = {Tests and Proofs - 14th International Conference, TAP@STAF 2020, Bergen, Norway, June 22-23, 2020, Proceedings [postponed]},
pages = {143--154},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {12165},
team = {axe_SharedResources, SYNC},
}