Parameterized verification of algorithms for oblivious robots on a ring

Document type :
Conference papers
Complete list of metadatas

https://hal.sorbonne-universite.fr/hal-01664894
Contributor : Nathalie Sznajder <>
Submitted on : Friday, December 15, 2017 - 12:09:27 PM
Last modification on : Tuesday, May 14, 2019 - 11:03:42 AM

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

243