| Zugehörige Institution(en) am KIT | Institut für Informationsmanagement im Ingenieurwesen (IMI) |
| Publikationstyp | Buchaufsatz |
| Publikationsjahr | 2021 |
| Sprache | Englisch |
| Identifikator | ISBN: 978-3-030-76020-5 ISSN: 0302-9743 KITopen-ID: 1000135023 |
| Erschienen in | Logic, Computation and Rigorous Methods – Essays Dedicated to Egon Börger on the Occasion of His 75th Birthday. Ed.: A. Raschke |
| Verlag | Springer International Publishing |
| Seiten | 283–300 |
| Serie | Lecture Notes in Computer Science ; 12750 |
| Vorab online veröffentlicht am | 04.06.2021 |
| Nachgewiesen in | OpenAlex Scopus Dimensions |