|
|
(5 intermediate revisions by 3 users not shown) |
| Property / describes a project that uses |
| | |
| Property / describes a project that uses: SPIN / rank |
| | Normal rank |
| Property / describes a project that uses |
| | |
| Property / describes a project that uses: GXL / rank |
| | Normal rank |
| Property / describes a project that uses |
| | |
| Property / describes a project that uses: Augur 2 / rank |
| | Normal rank |
| Property / MaRDI profile type |
| | |
| Property / MaRDI profile type: MaRDI publication profile / rank |
| | Normal rank |
| Property / full work available at URL |
| | |
| Property / full work available at URL: https://doi.org/10.1007/978-3-642-17322-6_2 / rank |
| | Normal rank |
| Property / OpenAlex ID |
| | |
| Property / OpenAlex ID: W2117825935 / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Q4791846 / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: A framework for the verification of infinite-state graph transformation systems / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Composition and Decomposition of DPO Transformations with Borrowed Context / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Fundamental Approaches to Software Engineering / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Q4438799 / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: A Modal-Logic Based Graph Abstraction / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Static Analysis of Dynamic Communication Systems by Partner Abstraction / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: A Benchmark Evaluation of Incremental Pattern Matching in Graph Transformation / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Symbolic model checking: \(10^{20}\) states and beyond / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Graph Transformations / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Graph transformations. Third international conference, ICGT 2006, Natal, Rio Grande do Norte, Brazil, September 17--23, 2006. Proceedings / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Joint COMPUGRAPH/ SEMAGRAPH workshop on Graph rewriting and computation (SEGRAGRA '95). Selected papers from the workshop, Volterra, Italy, August 28 - September 1, 1995 / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Graph Transformation in Constant Time / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Efficient graph rewriting and its implementation / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Hierarchical graph transformation / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Q4222794 / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Q3416072 / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Fundamentals of algebraic graph transformation / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Handbook of Graph Grammars and Computing by Graph Transformation / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Graph transformations. Second international conference, ICGT 2004, Rome, Italy, September 28 -- October 2, 2004. Proceedings. / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Graph transformations. 4th international conference, ICGT 2008, Leicester, United Kingdom, September 7--13, 2008. Proceedings / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Q4951112 / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Analysis of UML Activities Using Dynamic Meta Modeling / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: GrGen: A Fast SPO-Based Graph Rewriting Tool / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: GXL: a graph-based standard exchange format for reengineering / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Efficient SAT-based bounded model checking for software verification / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Tools and Algorithms for the Construction and Analysis of Systems / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Q3992568 / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Q4791828 / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Pure bigraphs: structure and dynamics / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Q3785997 / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Algebraic hierarchical graph transformation / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Development of Correct Graph Transformation Systems / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Compositionality in Graph Transformation / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Q2852078 / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Graph-Based Tools: The Contest / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Handbook of Graph Grammars and Computing by Graph Transformation / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Graph Grammar Modeling and Verification of Ad Hoc Routing Protocols / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: 15 Years of Triple Graph Grammars / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Q4222819 / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Parallel high-level replacement systems / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Distributed graphs and graph transformation / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Towards Common Exchange Formats for Graphs and Graph Transformation Systems / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Fundamental Approaches to Software Engineering / rank |
| | Normal rank |