Media type: Book; Thesis Title: Phased design and verification of stabilizing systems Contributor: Siegel, Michael [Author] Published: Kiel: Inst. für Informatik und praktische Mathematik, 1996 Published in: Christian-Albrechts-Universität zu Kiel: Bericht / Institut für Informatik und Praktische Mathematik ; 9705 Extent: V, 169 S.; graph. Darst Language: English Keywords: Verteiltes System > Stabilisierung > Softwareentwicklung Origination: University thesis: Zugl.: Kiel, Univ., Diss., 1996 Footnote: