The following publications are possibly variants of this publication:
- Invariants for Parameterised Boolean Equation SystemsSimona Orzan, Tim A. C. Willemse. concur 2008: 187-202 [doi]
- Parameterised boolean equation systemsJan Friso Groote, Tim A. C. Willemse. TCS, 343(3):332-369, 2005. [doi]
- Instantiation for Parameterised Boolean Equation SystemsArthur van Dam, Bas Ploeger, Tim A. C. Willemse. ictac 2008: 440-454 [doi]
- Evidence Extraction from Parameterised Boolean Equation SystemsWieger Wesselink, Tim A. C. Willemse. cade 2018: 86-100 [doi]
- Static Analysis Techniques for Parameterised Boolean Equation SystemsSimona Orzan, Wieger Wesselink, Tim A. C. Willemse. TACAS 2009: 230-245 [doi]
- Proof Graphs for Parameterised Boolean Equation SystemsSjoerd Cranen, Bas Luttik, Tim A. C. Willemse. concur 2013: 470-484 [doi]
- Liveness Analysis for Parameterised Boolean Equation SystemsJeroen J. A. Keiren, Wieger Wesselink, Tim A. C. Willemse. ATVA 2014: 219-234 [doi]
- Parameterised Boolean Equation Systems (Extended Abstract)Jan Friso Groote, Tim A. C. Willemse. concur 2004: 308-324 [doi]
- Verification of reactive systems via instantiation of Parameterised Boolean Equation SystemsBas Ploeger, Wieger Wesselink, Tim A. C. Willemse. iandc, 209(4):637-663, 2011. [doi]
- Partial-order reduction for parity games and parameterised Boolean equation systemsThomas Neele, Tim A. C. Willemse, Wieger Wesselink, Antti Valmari. STTT, 24(5):735-756, 2022. [doi]
- Partial-Order Reduction for Parity Games with an Application on Parameterised Boolean Equation SystemsThomas Neele, Tim A. C. Willemse, Wieger Wesselink. TACAS 2020: 307-324 [doi]
- Using SMT for Solving Fragments of Parameterised Boolean Equation SystemsRuud P. J. Koolen, Tim A. C. Willemse, Hans Zantema. ATVA 2015: 14-30 [doi]