%0 Journal Article %T Certification of an exact worst-case self-stabilization time %+ VERIMAG (VERIMAG - IMAG) %+ Modélisation, Information et Systèmes - UR UPJV 4290 (MIS) %A Altisen, Karine %A Corbineau, Pierre %A Devismes, Stéphane %< avec comité de lecture %@ 1879-2294 %J Theoretical Computer Science %I Elsevier %V 941 %P 262-277 %8 2022-11 %D 2022 %R 10.1016/j.tcs.2022.11.019 %Z Computer Science [cs]/Networking and Internet Architecture [cs.NI]Journal articles %G English %L hal-03862272 %U https://uca.hal.science/hal-03862272 %~ UGA %~ PRES_CLERMONT %~ IMAG %~ CNRS %~ UNIV-PICARDIE %~ INPG %~ VERIMAG %~ UGA-EPE %~ U-PICARDIE %~ MIS