Treffer: Definability and model checking

Titel:

Definability and model checking : the role of orders and compositionality / Tobias Ganzow

Beteiligt:

Veröffentlicht:

Aachen : Hochschulbibliothek Rheinisch-Westfälische Technischen Hochschule Aachen, 2012

Umfang:

1 Online-Ressource

Format:

E-Book

Sprache:

Englisch

Hochschulschrift:

Dissertation, Rheinisch-Westfälische Technische Hochschule Aachen, 2011

Schlagworte:

Zusatz-Informationen