@inproceedings{JAD+3,
title = { {Model Checking of Distributed Algorithms using Synchronous Programs} },
author = {Jahier, Erwan and Altisen, Karine and Devismes, St\'ephane and Sant'Anna, Gabriel B.},
month = {Oct},
year = {2023},
booktitle = {{25th International Symposium on Stabilization, Safety, and Security of Distributed Systems}},
address = {New Jersey, United States},
team = {axe_SharedResources},
pdf = {https://cnrs.hal.science/hal-04172396/file/main.pdf},
hal_id = {hal-04172396},
hal_version = {v1},
}