> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp: Buch; Hochschulschrift Titel: Semantics and verification of statecharts Beteiligte: Mikk, Erich [VerfasserIn] Erschienen: Kiel: Inst. für Informatik und Praktische Mathematik, 2000 Erschienen in: Christian-Albrechts-Universität zu Kiel: Bericht / Institut für Informatik und Praktische Mathematik ; 2011 Umfang: 200 S.; graph. Darst Sprache: Englisch Schlagwörter: Hochschulschrift Entstehung: Hochschulschrift: Zugl.: Kiel, Univ., Diss. Anmerkungen: Weitere Bestandsnachweise 0 : Bericht