Vol-1076⫷ Vol-1077 ⫸Vol-1078
urn:nbn:de:0074-1077-0


None⫷None⫸None

Correctness and Completeness of Generalised Concurrent Model Synchronisation Based on Triple Graph Grammars