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

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⟩
223 Consultations
0 Téléchargements

Altmetric

Partager

More