Certification of an Exact Worst-Case Self-Stabilization Time - Inria - Institut national de recherche en sciences et technologies du numérique
Communication Dans Un Congrès Année : 2021

Certification of an Exact Worst-Case Self-Stabilization Time

Karine Altisen
Pierre Corbineau
  • Fonction : Auteur
Stéphane Devismes
Fichier non déposé

Dates et versions

hal-03547154 , version 1 (28-01-2022)

Identifiants

Citer

Karine Altisen, Pierre Corbineau, Stéphane Devismes. Certification of an Exact Worst-Case Self-Stabilization Time. ICDCN '21: International Conference on Distributed Computing and Networking 2021, Jan 2021, Nara Japan, France. pp.46-55, ⟨10.1145/3427796.3427832⟩. ⟨hal-03547154⟩
33 Consultations
0 Téléchargements

Altmetric

Partager

More