Mechanically verified self-stabilizing hierarchical algorithms

Tools and Algorithms for the Construction and Analysis of Systems - Lecture Notes in Computer Science ◽

10.1007/bfb0035402 ◽

1997 ◽

pp. 399-415 ◽

Author(s):

I. S. W. B. Prasetya

Download Full-text