Kehrer, TimoKelter, UdoPietsch, PitSchmidt, Maik2017-12-062017-12-062012https://dl.gi.de/handle/20.500.12116/8699Timo Kehrer, Udo Kelter, Pit Pietsch, Maik SchmidtdeOperation-based Model Differencing meets State-based Model ComparisonText/Journal Article10.1007/BF033235200720-8928