Efficient local correctness checking for single and alternating boolean equation systems (Q4632435): Difference between revisions

@@ 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/3-540-58201-0_77
+Normal rank
@@ Property / OpenAlex ID @@
+W2169232561
@@ Property / OpenAlex ID: W2169232561 / rank @@
+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
@@ Property / cites work @@
+A linear-time model-checking algorithm for the alternation-free modal mu- calculus
+Normal rank
@@ Property / cites work @@
+A lattice-theoretical fixpoint theorem and its applications
+Normal rank
@@ Property / cites work @@
+Branching time and abstraction in bisimulation semantics
+Normal rank
@@ Property / cites work @@
+Efficient local correctness checking for single and alternating boolean equation systems
+Normal rank
@@ Property / cites work @@
+Q3033311
@@ Property / cites work: Q3033311 / rank @@
+Normal rank