Model checking and boolean graphs (Q1325844): Difference between revisions

@@ Property / full work available at URL @@
-https://doi.org/10.1016/0304-3975(94)90266-6
-Normal rank
@@ Property / OpenAlex ID @@
-W2756011084
@@ Property / OpenAlex ID: W2756011084 / rank @@
-Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/0304-3975(94)90266-6
+Normal rank
@@ Property / OpenAlex ID @@
+W2756011084
@@ Property / OpenAlex ID: W2756011084 / rank @@
+Normal rank
@@ Property / cites work @@
+On the computational power of pushdown automata
@@ Property / cites work: On the computational power of pushdown automata / rank @@
+Normal rank
@@ Property / cites work @@
+Compositional checking of satisfaction
@@ Property / cites work: Compositional checking of satisfaction / rank @@
+Normal rank
@@ Property / cites work @@
+A linear algorithm to solve fixed-point equations on transition systems
+Normal rank
@@ Property / cites work @@
+Programming languages and their definition. Selected papers ed. by C. B. Jones
+Normal rank
@@ Property / cites work @@
+Tableau-based model checking in the propositional mu-calculus
+Normal rank
@@ Property / cites work @@
+A linear-time model-checking algorithm for the alternation-free modal mu- calculus
+Normal rank
@@ Property / cites work @@
+Q3619797
@@ Property / cites work: Q3619797 / rank @@
+Normal rank
@@ Property / cites work @@
+Linear-time algorithms for testing the satisfiability of propositional horn formulae
+Normal rank
@@ Property / cites work @@
+Results on the propositional \(\mu\)-calculus
@@ Property / cites work: Results on the propositional \(\mu\)-calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Q3792217
@@ Property / cites work: Q3792217 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4038716
@@ Property / cites work: Q4038716 / rank @@
+Normal rank
@@ Property / cites work @@
+A lattice-theoretical fixpoint theorem and its applications
+Normal rank
@@ Property / cites work @@
+Q3033311
@@ Property / cites work: Q3033311 / rank @@
+Normal rank