Accéder directement au contenu

Sébastien Tixeuil

2
Documents

Publications

sznajder-nathalie
"xavier-urbain"

Formal Methods for Mobile Robots

Maria Potop-Butucaru , Nathalie Sznajder , Sébastien Tixeuil , Xavier Urbain
Paola Flocchini; Giuseppe Prencipe; Nicola Santoro. Distributed Computing by Mobile Entities, Current Research in Moving and Computing, 11340, Springer International Publishing, pp.278-313, 2019, Theoretical Computer Science and General Issues, 978-3-030-11071-0. ⟨10.1007/978-3-030-11072-7_12⟩
Chapitre d'ouvrage hal-01981634v1