A formal semantics of extended hierarchical state transition matrices using CSP\# (Q736828): Difference between revisions

@@ Property / DOI @@
-.1007/s00165-013-0282-7
@@ Property / DOI: 10.1007/s00165-013-0282-7 / rank @@
-Normal rank
@@ Property / describes a project that uses @@
+mCRL2
@@ Property / describes a project that uses: mCRL2 / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+cvc3
@@ Property / describes a project that uses: cvc3 / 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 @@
+PAT
@@ Property / describes a project that uses: PAT / 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/s00165-013-0282-7
+Normal rank
@@ Property / OpenAlex ID @@
+W1966415308
@@ Property / OpenAlex ID: W1966415308 / rank @@
+Normal rank
@@ Property / cites work @@
+Symbolic model checking: \(10^{20}\) states and beyond
+Normal rank
@@ Property / cites work @@
+Q5322945
@@ Property / cites work: Q5322945 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3777424
@@ Property / cites work: Q3777424 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4737557
@@ Property / cites work: Q4737557 / rank @@
+Normal rank
@@ Property / DOI @@
+.1007/S00165-013-0282-7
@@ Property / DOI: 10.1007/S00165-013-0282-7 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:736828