Sébastien Tixeuil
1
Documents
Publications
- 1
- 1
- 1
- 1
- 1
- 1
- 1
[Invited Paper] Formal Methods for Mobile Robots: Current Results and Open ProblemsInternational Journal of Informatics Society, 2015, 7 (3), pp.101-114
Article dans une revue
hal-01238784v1
|