16 citations · 50 across the 11 of their papers we have counts for
1 paper · 2 filters
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…