Static Analysis Techniques for Parameterised Boolean Equation Systems (Q3617762): Difference between revisions

@@ Property / cites work @@
+Equivalence Checking for Infinite Systems Using Parameterized Boolean Equation Systems
+Normal rank
@@ Property / cites work @@
+Grammar Analysis and Parsing by Abstract Interpretation
+Normal rank
@@ Property / cites work @@
+Instantiation for Parameterised Boolean Equation Systems
+Normal rank
@@ Property / cites work @@
+Model-checking processes with data
@@ Property / cites work: Model-checking processes with data / rank @@
+Normal rank
@@ Property / cites work @@
+Parameterised Boolean equation systems
@@ Property / cites work: Parameterised Boolean equation systems / rank @@
+Normal rank
@@ Property / cites work @@
+Q2763694
@@ Property / cites work: Q2763694 / rank @@
+Normal rank
@@ Property / cites work @@
+Invariants for Parameterised Boolean Equation Systems
+Normal rank
@@ Property / cites work @@
+Algebraic Methodology and Software Technology
@@ Property / cites work: Algebraic Methodology and Software Technology / rank @@
+Normal rank
@@ Property / cites work @@
+A lattice-theoretical fixpoint theorem and its applications
+Normal rank
@@ Property / cites work @@
+Q2863901
@@ Property / cites work: Q2863901 / rank @@
+Normal rank