| Zugehörige Institution(en) am KIT | Institut für Angewandte Informatik und Formale Beschreibungsverfahren (AIFB) |
| Publikationstyp | Zeitschriftenaufsatz |
| Publikationsdatum | 25.04.2023 |
| Sprache | Englisch |
| Identifikator | ISSN: 0178-2312, 2196-677X KITopen-ID: 1000158472 |
| Erschienen in | at - Automatisierungstechnik |
| Verlag | De Gruyter |
| Band | 71 |
| Heft | 4 |
| Seiten | 311–317 |
| Vorab online veröffentlicht am | 07.04.2023 |
| Nachgewiesen in | Web of Science OpenAlex Scopus Dimensions |