Communication Dans Un Congrès
Année : 2017
Nathalie Sznajder : Connectez-vous pour contacter le contributeur
https://hal.sorbonne-universite.fr/hal-01664894
Soumis le : vendredi 15 décembre 2017-12:09:27
Dernière modification le : mercredi 30 octobre 2024-21:44:10
Dates et versions
Identifiants
- HAL Id : hal-01664894 , version 1
- ARXIV : 1706.05193
- DOI : 10.23919/FMCAD.2017.8102262
Citer
Arnaud Sangnier, Nathalie Sznajder, Maria Potop-Butucaru, Sébastien Tixeuil. Parameterized verification of algorithms for oblivious robots on a ring. Formal Methods in Computer Aided Design, Oct 2017, Vienna, Austria. pp.212-219, ⟨10.23919/FMCAD.2017.8102262⟩. ⟨hal-01664894⟩
Collections
223
Consultations
0
Téléchargements