Parameterized verification of algorithms for oblivious robots on a ring

Type de document :
Communication dans un congrès
Daryl Stewart; Georg Weissenbacher. Formal Methods in Computer Aided Design, Oct 2017, Vienna, Austria. IEEE, pp.212-219, 2017, 〈10.23919/FMCAD.2017.8102262〉
Liste complète des métadonnées

https://hal.sorbonne-universite.fr/hal-01664894
Contributeur : Nathalie Sznajder <>
Soumis le : vendredi 15 décembre 2017 - 12:09:27
Dernière modification le : lundi 17 décembre 2018 - 01:27:25

Identifiants

Collections

Citation

Arnaud Sangnier, Nathalie Sznajder, Maria Potop-Butucaru, Sébastien Tixeuil. Parameterized verification of algorithms for oblivious robots on a ring. Daryl Stewart; Georg Weissenbacher. Formal Methods in Computer Aided Design, Oct 2017, Vienna, Austria. IEEE, pp.212-219, 2017, 〈10.23919/FMCAD.2017.8102262〉. 〈hal-01664894〉

Partager

Métriques

Consultations de la notice

187