Conference Papers
Year :
Pierre Courtieu : Connect in order to contact the contributor
https://hal.science/hal-03131638
Submitted on : Thursday, February 4, 2021-3:09:23 PM
Last modification on : Wednesday, September 28, 2022-6:00:39 AM
Dates and versions
Identifiers
- HAL Id : hal-03131638 , version 1
Cite
Pierre Courtieu. Les Protocoles de Déplacement de Robots: l’Algorithmique distribuée comme terrain de jeu pour la preuve formelle. JFLA 2019. Journées Francophones des Langages Applicatifs, Jan 2019, Les Rousses, France. ⟨hal-03131638⟩
Collections
38
View
0
Download