Conference Papers
Year : 2017
Nathalie Sznajder : Connect in order to contact the contributor
https://hal.sorbonne-universite.fr/hal-01664894
Submitted on : Friday, December 15, 2017-12:09:27 PM
Last modification on : Wednesday, October 30, 2024-9:44:10 PM
Dates and versions
Identifiers
- HAL Id : hal-01664894 , version 1
- ARXIV : 1706.05193
- DOI : 10.23919/FMCAD.2017.8102262
Cite
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
208
View
0
Download