Rapport
(Rapport De Recherche)
Année : 2006
Leonor Prensa Nieto : Connectez-vous pour contacter le contributeur
https://inria.hal.science/inria-00102102
Soumis le : vendredi 29 septembre 2006-09:39:13
Dernière modification le : mercredi 26 octobre 2022-08:16:04
Dates et versions
Identifiants
- HAL Id : inria-00102102 , version 1
Citer
Damian Barsotti. Instances of Schneider's Generalized Protocol of Clock Synchronization. [Research Report] Archive of Formal Proofs, 2006. ⟨inria-00102102⟩
Collections
11
Consultations
0
Téléchargements