Zugehörige Institution(en) am KIT | Institut für Angewandte Informatik und Formale Beschreibungsverfahren (AIFB) |
Publikationstyp | Hochschulschrift |
Publikationsdatum | 19.12.2017 |
Sprache | Englisch |
Identifikator | KITopen-ID: 1000172322 |
Verlag | Universtität Kassel |
Umfang | xvi, 199 S. |
Art der Arbeit | Dissertation |
Prüfungsdaten | Kassel, Univ., Diss., 19.12.2017 |