Formal Verification of Object-Oriented Graph Grammars Specifications (Q2867893): Difference between revisions

@@ Property / DOI @@
-.1016/j.entcs.2007.04.020
@@ Property / DOI: 10.1016/j.entcs.2007.04.020 / rank @@
-Normal rank
@@ Property / describes a project that uses @@
+SPIN
@@ Property / describes a project that uses: SPIN / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+GXL
@@ Property / describes a project that uses: GXL / 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.1016/j.entcs.2007.04.020
+Normal rank
@@ Property / OpenAlex ID @@
+W2013112009
@@ Property / OpenAlex ID: W2013112009 / rank @@
+Normal rank
@@ Property / cites work @@
+CONCUR 2004 - Concurrency Theory
@@ Property / cites work: CONCUR 2004 - Concurrency Theory / rank @@
+Normal rank
@@ Property / cites work @@
+Q4222871
@@ Property / cites work: Q4222871 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4890710
@@ Property / cites work: Q4890710 / rank @@
+Normal rank
@@ Property / cites work @@
+Formal Methods for Open Object-Based Distributed Systems
+Normal rank
@@ Property / cites work @@
+Formal Methods for Open Object-Based Distributed Systems
+Normal rank
@@ Property / cites work @@
+Graph Transformations
@@ Property / cites work: Graph Transformations / rank @@
+Normal rank
@@ Property / cites work @@
+Q4953875
@@ Property / cites work: Q4953875 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4471664
@@ Property / cites work: Q4471664 / rank @@
+Normal rank
@@ Property / DOI @@
+.1016/J.ENTCS.2007.04.020
@@ Property / DOI: 10.1016/J.ENTCS.2007.04.020 / rank @@
+Normal rank