@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},
}
bibtex
Contact |
Plan du site |
Site réalisé avec SPIP 4.4.13 +
AHUNTSIC
[CC License]
info visites 6008860
|
|
|