Skip to Main content Skip to Navigation
New interface
Conference papers

Parameterized verification of algorithms for oblivious robots on a ring

Document type :
Conference papers
Complete list of metadata

https://hal.sorbonne-universite.fr/hal-01664894
Contributor : Nathalie Sznajder Connect in order to contact the contributor
Submitted on : Friday, December 15, 2017 - 12:09:27 PM
Last modification on : Tuesday, September 6, 2022 - 1:27:28 PM

Links full text

Identifiers

Citation

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⟩

Share

Metrics

Record views

149