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 | Dimensions Scopus |