Property-oriented expansion (Q5030184): Difference between revisions

@@ Property / cites work @@
+Q3949950
@@ Property / cites work: Q3949950 / rank @@
+Normal rank
@@ Property / cites work @@
+A lattice-theoretical fixpoint theorem and its applications
+Normal rank
@@ Property / cites work @@
+Generating data flow analysis algorithms from modal specifications
+Normal rank
@@ Property / cites work @@
+Data flow analysis as model checking
@@ Property / cites work: Data flow analysis as model checking / rank @@
+Normal rank
@@ Property / cites work @@
+The complexity of propositional linear temporal logics
+Normal rank
@@ Property / cites work @@
+Characteristic formulae for processes with divergence
+Normal rank
@@ Property / cites work @@
+Global optimization by suppression of partial redundancies
+Normal rank
@@ Property / cites work @@
+Synthesis of Communicating Processes from Temporal Logic Specifications
+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 @@
+Q4068060
@@ Property / cites work: Q4068060 / rank @@
+Normal rank
@@ Property / cites work @@
+An efficient general iterative algorithm for dataflow analysis
+Normal rank
@@ Property / cites work @@
+Partial-order methods for the verification of concurrent systems. An approach to the state-explosion problem
+Normal rank
@@ Property / cites work @@
+Automatic verification of finite-state concurrent systems using temporal logic specifications
+Normal rank
@@ Property / cites work @@
+Grammar Analysis and Parsing by Abstract Interpretation
+Normal rank
@@ Property / cites work @@
+Local model checking for infinite state spaces
@@ Property / cites work: Local model checking for infinite state spaces / rank @@
+Normal rank
@@ Property / cites work @@
+Q3525697
@@ Property / cites work: Q3525697 / rank @@
+Normal rank