Communication Dans Un Congrès
Année : 2019
Connectez-vous pour contacter le contributeur
https://hal.science/hal-03131638
Soumis le : jeudi 4 février 2021-15:09:23
Dernière modification le : dimanche 11 janvier 2026-16:41:53
Dates et versions
Identifiants
- HAL Id : hal-03131638 , version 1
Citer
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
113
Consultations
0
Téléchargements