Symbolic Termination and Confluence Checking for ECA Rules (Q3452476): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1007/978-3-662-45730-6_6
+Normal rank
@@ Property / OpenAlex ID @@
+W61183124
@@ Property / OpenAlex ID: W61183124 / rank @@
+Normal rank
@@ Property / cites work @@
+Graph-Based Algorithms for Boolean Function Manipulation
+Normal rank
@@ Property / cites work @@
+Q2769596
@@ Property / cites work: Q2769596 / rank @@
+Normal rank
@@ Property / cites work @@
+Ten Years of Saturation: A Petri Net Perspective
@@ Property / cites work: Ten Years of Saturation: A Petri Net Perspective / rank @@
+Normal rank
@@ Property / cites work @@
+AI 2003: Advances in Artificial Intelligence
@@ Property / cites work: AI 2003: Advances in Artificial Intelligence / rank @@
+Normal rank
@@ Property / cites work @@
+Q4946958
@@ Property / cites work: Q4946958 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4251540
@@ Property / cites work: Q4251540 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4738633
@@ Property / cites work: Q4738633 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4790640
@@ Property / cites work: Q4790640 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3933750
@@ Property / cites work: Q3933750 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4438797
@@ Property / cites work: Q4438797 / rank @@
+Normal rank
@@ Property / cites work @@
+Symbolic CTL Model Checking of Asynchronous Systems Using Constrained Saturation
+Normal rank