Klare, Heiko
[Author];
Pepin, Aurélien
[Author];
Burger, Erik
[Author];
Reussner, Ralf
[Author]
;
Karlsruher Institut für Technologie Institute for Program Structures and Data Organization
A formal approach to prove compatibility in transformation networks