Treffer: Model checking hierarchical structures

Titel:
Model checking hierarchical structures / Markus Lohrey
Beteiligt:
Lohrey, Markus 
Veröffent­licht:
Stuttgart : Universitätsbibliothek der Universität Stuttgart, 2005
Umfang:
Online-Ressource
Format:
E-Book
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) ; 2005,1

Zusatz-Informationen

Zusatz-Funktionen