Instances of Schneider's Generalized Protocol of Clock Synchronization

Type de document :
Rapport
[Research Report] Archive of Formal Proofs, 2006
Liste complète des métadonnées

https://hal.inria.fr/inria-00102102
Contributeur : Leonor Prensa Nieto <>
Soumis le : vendredi 29 septembre 2006 - 09:39:13
Dernière modification le : mercredi 4 octobre 2017 - 16:08:21

Identifiants

  • HAL Id : inria-00102102, version 1

Collections

Citation

Damian Barsotti. Instances of Schneider's Generalized Protocol of Clock Synchronization. [Research Report] Archive of Formal Proofs, 2006. 〈inria-00102102〉

Partager

Métriques

Consultations de la notice

8