Phased design and verification of stabilizing systems
By: Michael Siegel
Contributors: Universität Kiel. Institut für Informatik und Praktische Mathematik
Series: Bericht -- Nr. 9705, Juli 1996; Bericht (Universität Kiel. Institut für Informatik und Praktische Mathematik) -- Nr. 9705
Publisher: Christian-Albrechts Universität
Published: 1996
Place of publication: Kiel
Language: ger
Number of pages: 169
Subjects: Self-stabilization (Computer science); Fault-tolerant computing
Notes: At head of title: Institut für Informatik und Praktische Mathematik der Christian-Albrechts-Universität zu Kiel.

Originally presented as the author's thesis -- Christian-Albrechts-Universität Kiel, 1996.

Includes bibliographical references (p. [105]-118)