Treffer: Infinite state model checking of propositional dynamic logics
Titel:
Infinite state model checking of propositional dynamic logics / Stefan Göller ; Markus Lohrey
Beteiligt:
Veröffentlicht:
Stuttgart : Universitätsbibliothek der Universität Stuttgart, 2006
Umfang:
Online-Ressource
Format:
Sprache:
Englisch
Schriftenreihe/Mehrbändiges Werk:
Technischer Bericht / Universität Stuttgart, Fakultät Informatik, Elektrotechnik und Informationstechnik (früher: Bericht / Universität Stuttgart, Fakultät Informatik) ; 2006,4