bibtex

@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},
}


Contact | Site Map | Site powered by SPIP 4.2.16 + AHUNTSIC [CC License]

info visites 4190465