The following publications are possibly variants of this publication:
- Static Analysis Techniques for Parameterised Boolean Equation SystemsSimona Orzan, Wieger Wesselink, Tim A. C. Willemse. TACAS 2009: 230-245 [doi]
- Parameterised boolean equation systemsJan Friso Groote, Tim A. C. Willemse. TCS, 343(3):332-369, 2005. [doi]
- Invariants for Parameterised Boolean Equation SystemsSimona Orzan, Tim A. C. Willemse. TCS, 411(11-13):1338-1371, 2010. [doi]
- Instantiation for Parameterised Boolean Equation SystemsArthur van Dam, Bas Ploeger, Tim A. C. Willemse. ictac 2008: 440-454 [doi]
- Invariants for Parameterised Boolean Equation SystemsSimona Orzan, Tim A. C. Willemse. concur 2008: 187-202 [doi]
- Evidence Extraction from Parameterised Boolean Equation SystemsWieger Wesselink, Tim A. C. Willemse. cade 2018: 86-100 [doi]
- Proof Graphs for Parameterised Boolean Equation SystemsSjoerd Cranen, Bas Luttik, Tim A. C. Willemse. concur 2013: 470-484 [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]