Communication Dans Un Congrès
Année : 2000
Connectez-vous pour contacter le contributeur
https://inria.hal.science/hal-03207809
Soumis le : lundi 26 avril 2021-10:31:53
Dernière modification le : dimanche 23 mars 2025-03:14:01
Dates et versions
Identifiants
- HAL Id : hal-03207809 , version 1
Citer
Jean Goubault-Larrecq. A Method for Automatic Cryptographic Protocol Verification. Workshop on Formal Methods for Parallel Programming, May 2000, Cancun, Mexico. pp.977-984. ⟨hal-03207809⟩
59
Consultations
0
Téléchargements