> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp: Buch; Hochschulschrift Titel: Compositional verification and specification of refinement for reactive systems in a dense time temporal logic Beteiligte: Cau, Antonio [VerfasserIn] Erschienen: Kiel: Inst. für Informatik und Praktische Mathematik, 1996 Erschienen in: Christian-Albrechts-Universität zu Kiel: Bericht / Institut für Informatik und Praktische Mathematik ; 9601 Umfang: XIV, 178 S.; graph. Darst Sprache: Englisch Schlagwörter: Temporale Logik > Reaktives System Entstehung: Hochschulschrift: Zugl.: Kiel, Univ., Diss. Anmerkungen: Weitere Bestandsnachweise 0 : Institut für Informatik und Praktische Mathematik <Kiel>: Bericht