Communication Dans Un Congrès
Année : 2009
Véronique Cortier : Connectez-vous pour contacter le contributeur
https://inria.hal.science/inria-00426626
Soumis le : mardi 27 octobre 2009-09:48:26
Dernière modification le : lundi 11 septembre 2023-17:41:18
Dates et versions
Identifiants
- HAL Id : inria-00426626 , version 1
Citer
Mathilde Arnaud, Véronique Cortier, Stéphanie Delaune. Modeling and Verifying Ad Hoc Routing Protocol. 4th International Workshop on Security and Rewriting Techniques - SecReT'09, Jul 2009, Port Jefferson, United States. pp.33-46. ⟨inria-00426626⟩
Collections
76
Consultations
0
Téléchargements