Result: Phased design and verification of stabilizing systems

Title:

Responsible:

Siegel, Michael

Published:

Kiel, 1996

Extent:

V, 169 S.

Format:

Book

Language:

German

Series/ Mutipart item:

Christian-Albrechts-Universität zu Kiel. Institut für Informatik und Praktische Mathematik: Bericht ; 9705
Show all volumes

Thesis:

Zugl.: Kiel, Univ., Diss., 1996

Subject headings:

Additional information