A formal approach to prove compatibility in transformation networks / Heiko Klare, Aurélien Pepin, Erik Burger, Ralf Reussner ; Institute for Program Structures and Data Organization, Karlsruhe Institute of Technology (KIT), Germany
Mitwirkende(r): Resource type: Ressourcentyp: Buch (Online)Buch (Online)Sprache: Englisch Reihen: Karlsruher Institut für Technologie. Karlsruhe reports in informatics ; 2020, 3Verlag: Karlsruhe : KIT Karlsruher Institut für Technologie, Fakultät für Informatik, 2020Beschreibung: 1 Online-Ressource (42 Seiten, 713,29 KB) : Illustrationen, DiagrammeSchlagwörter: Genre/Form: DOI: DOI: 10.5445/IR/1000121444Online-Ressourcen: PPN: PPN: 1725126567Package identifier: Produktsigel: ZDB-296-TTNDieser Titel hat keine Exemplare
Open Access; Controlled Vocabulary for Access Rights DE-89:
http://purl.org/coar/access_right/c_abf2
DE-89 Namensnennung - Nicht kommerziell - Keine Bearbeitungen 4.0 International CC BY-NC-ND 4.0 cc: