Explicit State Model Checking for Graph Grammars (Q3507360): Difference between revisions

@@ Property / describes a project that uses @@
+BLAST
@@ Property / describes a project that uses: BLAST / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+GROOVE
@@ Property / describes a project that uses: GROOVE / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/978-3-540-68679-8_8
+Normal rank
@@ Property / OpenAlex ID @@
+W2102697873
@@ Property / OpenAlex ID: W2102697873 / rank @@
+Normal rank
@@ Property / cites work @@
+CONCUR 2004 - Concurrency Theory
@@ Property / cites work: CONCUR 2004 - Concurrency Theory / rank @@
+Normal rank
@@ Property / cites work @@
+A Temporal Graph Logic for Verification of Graph Transformation Systems
+Normal rank
@@ Property / cites work @@
+Q4438762
@@ Property / cites work: Q4438762 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3416077
@@ Property / cites work: Q3416077 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3416072
@@ Property / cites work: Q3416072 / rank @@
+Normal rank
@@ Property / cites work @@
+Fundamentals of algebraic graph transformation
@@ Property / cites work: Fundamentals of algebraic graph transformation / rank @@
+Normal rank
@@ Property / cites work @@
+Foundations of Software Science and Computation Structures
+Normal rank
@@ Property / cites work @@
+Q3416071
@@ Property / cites work: Q3416071 / rank @@
+Normal rank
@@ Property / cites work @@
+Formal Verification of Object-Oriented Graph Grammars Specifications
+Normal rank
@@ Property / cites work @@
+Q4890712
@@ Property / cites work: Q4890712 / rank @@
+Normal rank
@@ Property / cites work @@
+Satisfiability of High-Level Conditions
@@ Property / cites work: Satisfiability of High-Level Conditions / rank @@
+Normal rank
@@ Property / cites work @@
+Q4791833
@@ Property / cites work: Q4791833 / rank @@
+Normal rank
@@ Property / cites work @@
+Defining Object-Oriented Execution Semantics Using Graph Transformations
+Normal rank
@@ Property / cites work @@
+Tools and Algorithms for the Construction and Analysis of Systems
+Normal rank
@@ Property / cites work @@
+Foundations of Software Science and Computation Structures
+Normal rank
@@ Property / cites work @@
+Termination Criteria for DPO Transformations with Injective Matches
+Normal rank
@@ Property / cites work @@
+Algebraic approach to single-pushout graph transformation
+Normal rank
@@ Property / cites work @@
+Programming Languages and Systems
@@ Property / cites work: Programming Languages and Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Graph Transformations
@@ Property / cites work: Graph Transformations / rank @@
+Normal rank
@@ Property / cites work @@
+Model Checking Quantified Computation Tree Logic
@@ Property / cites work: Model Checking Quantified Computation Tree Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q2852078
@@ Property / cites work: Q2852078 / rank @@
+Normal rank
@@ Property / cites work @@
+Handbook of Graph Grammars and Computing by Graph Transformation
+Normal rank