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

http://hal.upmc.fr/hal-01664894
Contributeur : Nathalie Sznajder <>
Soumis le : vendredi 15 décembre 2017 - 12:09:27
Dernière modification le : jeudi 11 janvier 2018 - 06:27:39

Identifiants

Collections

UPMC | USPC | LIP6

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

25