Efficient CSL Model Checking Using Stratification (Q2904612): Difference between revisions

@@ Property / author @@
-Li-jun Zhang
@@ Property / author: Li-jun Zhang / rank @@
-Normal rank
@@ Property / author @@
+Li-jun Zhang
@@ Property / author: Li-jun Zhang / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+MRMC
@@ Property / describes a project that uses: MRMC / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+Publication
@@ Property / MaRDI profile type: Publication / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q59416315
@@ Property / Wikidata QID: Q59416315 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:2904612