Foliensatz 10. Vorlesung July 3, 2024 Jens Kosiol Graph and Model Driven Engineering, SS24 12_GMDE_Konfluenz-und-Termination