N°Spécial De Revue/Special Issue
Electronic Notes in Theoretical Computer Science
Année : 2001
Jean Goubault-Larrecq : Connectez-vous pour contacter le contributeur
https://inria.hal.science/hal-03219186
Soumis le : jeudi 6 mai 2021-11:17:58
Dernière modification le : vendredi 17 mai 2024-16:22:03
Dates et versions
Identifiants
- HAL Id : hal-03219186 , version 1
Citer
Jean Goubault-Larrecq. Proceedings of the 1st Workshop on Logical Aspects of Cryptographic Protocol Verification (LACPV'01). 1st Workshop on Logical Aspects of Cryptographic Protocol Verification (LACPV'01), Jul 2001, Paris, France. Electronic Notes in Theoretical Computer Science, 55 (1), 2001. ⟨hal-03219186⟩
Collections
17
Consultations
0
Téléchargements