Sébastien Tixeuil
1
Documents
Publications
- 1
- 1
- 1
- 1
- 1
|
Formal verification of mobile robot protocolsDistributed Computing, 2016, 29 (6), pp.459-487. ⟨10.1007/s00446-016-0271-1⟩
Article dans une revue
hal-01344903v1
|