[Lecture Notes in Computer Science] Graph Transformation, Specifications, and Nets Volume 10800 || Modular Termination of Graph Transformation
Heckel, Reiko; Taentzer, Gabriele
- 作者Heckel, Reiko; Taentzer, Gabriele
- 文件大小717.17KB
- 发表时间2018
- DOI10.1007/978-3-319-75396-6_13
- 页码231-244