| Zugehörige Institution(en) am KIT | Institut für Angewandte Informatik und Formale Beschreibungsverfahren (AIFB) |
| Publikationstyp | Buchaufsatz |
| Publikationsjahr | 2018 |
| Sprache | Englisch |
| Identifikator | ISBN: 978-3-8007-4559-3 KITopen-ID: 1000092015 |
| Erschienen in | ARCS 2018 : 31th International Conference on Architecture of Computing Systems April, 9-12, 2018, Technische Universität Braunschweig, Braunschweig, Germany, Workshop Proceedings |
| Verlag | VDE Verlag |
| Seiten | 1-8 |