> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp: E-Book Titel: Infinite state model checking of propositional dynamic logics Beteiligte: Göller, Stefan [Verfasser:in]; Lohrey, Markus [Verfasser:in] Erschienen: Stuttgart: Fakultät Informatik, Elektrotechnik und Informationstechnik, 2006 Online-Ausg., Stuttgart: Universitätsbibliothek der Universität Stuttgart Erschienen in: Technischer Bericht ; 2006,4 Umfang: 43 S. Sprache: Englisch Identifikator: Schlagwörter: Unendlicher Zustandsraum ; Model Checking ; Dynamische Aussagenlogik Art der Reproduktion: Online-Ausg. Hersteller der Reproduktion: Stuttgart: Universitätsbibliothek der Universität Stuttgart Entstehung: Anmerkungen: Zugangsstatus: Freier Zugang