Parameterized verification of algorithms for oblivious robots on a ring - Archive ouverte HAL
Communication Dans Un Congrès Année : 2017

Parameterized verification of algorithms for oblivious robots on a ring

Arnaud Sangnier
Institut de Recherche en Informatique Fondamentale
Nathalie Sznajder
Modélisation et Vérification
Maria Potop-Butucaru
Networks and Performance Analysis
Sébastien Tixeuil
Institut universitaire de France
Networks and Performance Analysis
CV

Domaines

Informatique [cs]

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

Consulter le texte intégral

Dates et versions

hal-01664894 , version 1 (15-12-2017)

Identifiants

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⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

UNIV-PARIS7 UPMC CNRS LIP6 USPC SORBONNE-UNIVERSITE SU-SCIENCES UP-SCIENCES ANR IRIF
208 Consultations
0 Téléchargements

Altmetric

Partager

More