Modular termination of graph transformation
From MaRDI portal
Publication:1708192
DOI10.1007/978-3-319-75396-6_13zbMath1383.68048OpenAlexW2786752789MaRDI QIDQ1708192
Publication date: 4 April 2018
Full work available at URL: https://doi.org/10.1007/978-3-319-75396-6_13
Related Items (2)
Unnamed Item ⋮ On the essence and initiality of conflicts in \(\mathcal{M} \)-adhesive transformation systems
This page was built for publication: Modular termination of graph transformation
