9 citations · 9 across the 1 of their papers we have counts for
1 paper
Gijs Kant, Jaco van de Pol
Parameterised Boolean Equation Systems (PBESs) are sequences of Boolean fixed point equations with data variables, used for, e.g., verification of modal mu-calculus formulae for pr…