Symbolic State-Space Generation of Asynchronous Systems Using Extensible Decision Diagrams (Q3599106): Difference between revisions

@@ Property / describes a project that uses @@
+SPIN
@@ Property / describes a project that uses: SPIN / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+NuSMV
@@ Property / describes a project that uses: NuSMV / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+SMART_
@@ Property / describes a project that uses: SMART_ / 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/978-3-540-95891-8_52
+Normal rank
@@ Property / OpenAlex ID @@
+W1553198468
@@ Property / OpenAlex ID: W1553198468 / rank @@
+Normal rank
@@ Property / cites work @@
+Graph-Based Algorithms for Boolean Function Manipulation
+Normal rank
@@ Property / cites work @@
+Correct Hardware Design and Verification Methods
@@ Property / cites work: Correct Hardware Design and Verification Methods / rank @@
+Normal rank
@@ Property / cites work @@
+NuSMV: A new symbolic model checker
@@ Property / cites work: NuSMV: A new symbolic model checker / rank @@
+Normal rank
@@ Property / cites work @@
+Q4946958
@@ Property / cites work: Q4946958 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4427906
@@ Property / cites work: Q4427906 / rank @@
+Normal rank