11051 articles  [english version]
.:. Consultation > Liste par auteurs > Arnaud .:.
1 document

fulltext access Formal verification of secured routing protocols
Arnaud M.
École normale supérieure de Cachan - ENS Cachan (2011-12-13), Stéphanie Delaune;Jean Goubault-Larrecq (Dir.) [tel-00675509 - version 1]
STAR - Dépôt national des thèses électroniques