Treffer: Model composition in model-checking
Titel:
Model composition in model-checking / Ingo Felscher
Beteiligt:
Veröffentlicht:
Aachen : Hochschulbibliothek der Rheinisch-Westfälischen Technischen Hochschule Aachen, 2014
Umfang:
1 Online-Ressource
Format:
Sprache:
Englisch
Hochschulschrift:
Dissertation, Rheinisch-Westfälische Technische Hochschule Aachen, 2014
Andere Ausgaben:
Erscheint auch als Druck-Ausgabe: Felscher, Ingo. Model composition in model checking
Schlagworte: