Foliensatz 10. Vorlesung July 3, 2024 Maximilian Freiherr von Künßberg Graph and Model Driven Engineering, SS24 12_GMDE_Konfluenz-und-Termination