Article Dans Une Revue
Theoretical Computer Science
Année : 2006
Mathieu Turuani : Connectez-vous pour contacter le contributeur
https://inria.hal.science/inria-00104005
Soumis le : jeudi 5 octobre 2006-16:08:57
Dernière modification le : lundi 11 septembre 2023-17:41:18
Citer
Michael Backes, Anupam Datta, Ante Derek, John C. Mitchell, Mathieu Turuani. Compositional Analysis of Contract Signing Protocols. Theoretical Computer Science, 2006, Theoretical Computer Science, ⟨10.1016/j.tcs.2006.08.039⟩. ⟨inria-00104005⟩
Collections
82
Consultations
0
Téléchargements