KIT | KIT-Bibliothek | Impressum | Datenschutz

Termination and Expressiveness of Execution Strategies for Networks of Bidirectional Model Transformations

Klare, Heiko ORCID iD icon 1; Gleitze, Joshua 1
1 Institut für Programmstrukturen und Datenorganisation (IPD), Karlsruher Institut für Technologie (KIT)

Zugehörige Institution(en) am KIT Institut für Informationssicherheit und Verlässlichkeit (KASTEL)
Institut für Programmstrukturen und Datenorganisation (IPD)
Publikationstyp Zeitschriftenaufsatz
Publikationsdatum 30.09.2023
Sprache Englisch
Identifikator ISSN: 0934-5043, 1433-299X
KITopen-ID: 1000163903
Erschienen in Formal Aspects of Computing
Verlag Springer
Band 35
Heft 3
Seiten 1–35
Bemerkung zur Veröffentlichung Cited by: 0
Vorab online veröffentlicht am 13.09.2023
Nachgewiesen in Web of Science
Dimensions
Scopus

Verlagsausgabe §
DOI: 10.5445/IR/1000163903
Veröffentlicht am 09.11.2023
Seitenaufrufe: 57
seit 10.11.2023
Downloads: 44
seit 21.11.2023
Cover der Publikation
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page