A linear-time model-checking algorithm for the alternation-free modal mu- calculus (Q1801498): Difference between revisions

@@ Property / cites work @@
+Automatic verification of finite-state concurrent systems using temporal logic specifications
+Normal rank
@@ Property / cites work @@
+Q4036558
@@ Property / cites work: Q4036558 / rank @@
+Normal rank
@@ Property / cites work @@
+Propositional dynamic logic of regular programs
@@ Property / cites work: Propositional dynamic logic of regular programs / rank @@
+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 @@
+A lattice-theoretical fixpoint theorem and its applications
+Normal rank
@@ Property / cites work @@
+A linear algorithm to solve fixed-point equations on transition systems
+Normal rank
@@ Property / cites work @@
+Tableau-based model checking in the propositional mu-calculus
+Normal rank