@inproceedings{BCP+9,
title = {Continuous vs. Discrete Asynchronous Moves: a Certified Approach for Mobile Robots on Graphs },
author = {Balabonski, Thibaut and Courtieu, Pierre and Pelle, Robin and Rieg, Lionel and Tixeuil, S\'ebastien and Urbain, Xavier},
year = {2019},
booktitle = {NETYS 2019, June 19-21, Proceedings},
team = {SYNC, axe_FormalProofs, axe_SharedResources},
}