Automating the transformation-based analysis of visual languages (Q973037): Difference between revisions

@@ Property / describes a project that uses @@
+AGG
@@ Property / describes a project that uses: AGG / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2009029954
@@ Property / OpenAlex ID: W2009029954 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4835250
@@ Property / cites work: Q4835250 / rank @@
+Normal rank
@@ Property / cites work @@
+Lectures on Concurrency and Petri Nets
@@ Property / cites work: Lectures on Concurrency and Petri Nets / rank @@
+Normal rank
@@ Property / cites work @@
+Time-based expressivity of time Petri nets for system specification
+Normal rank
@@ Property / cites work @@
+Handbook of Graph Grammars and Computing by Graph Transformation
+Normal rank
@@ Property / cites work @@
+Fundamentals of algebraic graph transformation
@@ Property / cites work: Fundamentals of algebraic graph transformation / rank @@
+Normal rank
@@ Property / cites work @@
+Semantical Correctness and Completeness of Model Transformations Using Graph and Rule Transformation
+Normal rank
@@ Property / cites work @@
+Computer Aided Verification
@@ Property / cites work: Computer Aided Verification / rank @@
+Normal rank
@@ Property / cites work @@
+Q4438774
@@ Property / cites work: Q4438774 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4438777
@@ Property / cites work: Q4438777 / rank @@
+Normal rank
@@ Property / cites work @@
+Theoretical Aspects of Computing – ICTAC 2005
@@ Property / cites work: Theoretical Aspects of Computing – ICTAC 2005 / rank @@
+Normal rank
@@ Property / cites work @@
+Conflict Detection for Graph Transformation with Negative Application Conditions
+Normal rank
@@ Property / cites work @@
+Attributed graph transformation with node type inheritance
+Normal rank
@@ Property / cites work @@
+Pattern-Based Model-to-Model Transformation
@@ Property / cites work: Pattern-Based Model-to-Model Transformation / rank @@
+Normal rank
@@ Property / cites work @@
+Q4251204
@@ Property / cites work: Q4251204 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3911403
@@ Property / cites work: Q3911403 / rank @@
+Normal rank
@@ Property / cites work @@
+Fundamental Approaches to Software Engineering
@@ Property / cites work: Fundamental Approaches to Software Engineering / rank @@
+Normal rank
@@ Property / cites work @@
+Termination Analysis of Model Transformations by Petri Nets
+Normal rank