Publisher
Springer Berlin Heidelberg
Reference80 articles.
1. APPLIGRAPH: Applications of graph transformation (1994), http://www.informatik.uni-bremen.de/theorie/appligraph/
2. Lecture Notes in Computer Science;P. Baldan,2001
3. Baldan, P., Corradini, A., König, B.: A framework for the verification of infinite-state graph transformation systems. Inf. Comput. 206(7), 869–907 (2008)
4. Baldan, P., Ehrig, H., König, B.: Composition and decomposition of dpo transformations with borrowed context. In: [13], pp. 153–167
5. Lecture Notes in Computer Science;R. Bardohl,2004
Cited by
6 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献