| Zugehörige Institution(en) am KIT | Institut für Angewandte Informatik und Formale Beschreibungsverfahren (AIFB) |
| Publikationstyp | Proceedingsband |
| Publikationsdatum | 02.06.2019 |
| Sprache | Englisch |
| Identifikator | ISSN: 1613-0073 KITopen-ID: 1000120082 |
| Umfang | 73 S. |
| Serie | CEUR-WS ; 2377 |
| Externe Relationen | Siehe auch |