An Exercise in Proving Self-Stabilization through Ljapunov Functions

Oliver E. Theel. An Exercise in Proving Self-Stabilization through Ljapunov Functions. In ICDCS. pages 727-730, 2001. [doi]

Abstract

Abstract is missing.