Media type: E-Book Title: Infinite state model checking of propositional dynamic logics Contributor: Göller, Stefan [Author]; Lohrey, Markus [Author] Published: Stuttgart: Fakultät Informatik, Elektrotechnik und Informationstechnik, 2006 Online-Ausg., Stuttgart: Universitätsbibliothek der Universität Stuttgart Published in: Technischer Bericht ; 2006,4 Extent: 43 S. Language: English Identifier: Keywords: Unendlicher Zustandsraum ; Model Checking ; Dynamische Aussagenlogik Type of reproduction: Online-Ausg. Place of reproduction: Stuttgart: Universitätsbibliothek der Universität Stuttgart Origination: Footnote: Access State: Open Access