A Database Approach to Distributed State Space Generation (Q2866323): Difference between revisions

@@ Property / describes a project that uses @@
+mCRL
@@ Property / describes a project that uses: mCRL / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+ATERM
@@ Property / describes a project that uses: ATERM / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+Publication
@@ Property / MaRDI profile type: Publication / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.entcs.2007.10.018
+Normal rank
@@ Property / OpenAlex ID @@
+W2168939023
@@ Property / OpenAlex ID: W2168939023 / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q62047480
@@ Property / Wikidata QID: Q62047480 / rank @@
+Normal rank
@@ Property / cites work @@
+Verification of a sliding window protocol in \(\mu\) CRL and PVS
+Normal rank
@@ Property / cites work @@
+Q2842854
@@ Property / cites work: Q2842854 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4551157
@@ Property / cites work: Q4551157 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4547772
@@ Property / cites work: Q4547772 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4417940
@@ Property / cites work: Q4417940 / rank @@
+Normal rank
@@ Property / cites work @@
+Model checking a cache coherence protocol of a Java DSM implementation
+Normal rank
@@ Property / cites work @@
+Q4356446
@@ Property / cites work: Q4356446 / rank @@
+Normal rank