@article{EAD+5,
title = {Model Checking of Distributed Algorithms using Synchronous Programs },
author = {Erwan, Jahier and Altisen, Karine and Devismes, St\'ephane and Baiocchi Sant'anna, Gabriel},
year = {2025},
note = {To appear},
journal = {Theoretical Computer Science},
team = {axe_SharedResources, axe_FormalProofs, SYNC},
}
