Sébastien Tixeuil

Documents

Publications

"lmillet"

"pascalafourcade"

	Formal verification of mobile robot protocols Beatrice Bérard , Pascal Lafourcade , Laure Millet , Maria Potop-Butucaru , Yann Thierry-Mieg Distributed Computing, 2016, 29 (6), pp.459-487. ⟨10.1007/s00446-016-0271-1⟩ Article dans une revue hal-01344903v1