Zugehörige Institution(en) am KIT | Institut für Angewandte Informatik und Formale Beschreibungsverfahren (AIFB) |
Publikationstyp | Proceedingsbeitrag |
Publikationsjahr | 2016 |
Sprache | Englisch |
Identifikator | ISSN: 1613-0073 KITopen-ID: 1000051956 |
Erschienen in | 8th ZEUS Workshop, Vienna, Austria, January 27-28 2016. Ed.: C. Hochreiner |
Seiten | 49-52 |
Serie | CEUR Workshop Proceedings ; 1562 |
Nachgewiesen in | Scopus |