TY  - RPRT
TI  - Efficient Instantiation of Parameterised Boolean Equation Systems to Parity Games
AU  - Gijs Kant
AU  - Jaco van de Pol
PY  - 2012
DO  - 10.4204/eptcs.99.7
UR  - https://arxiv.org/abs/1210.6414
ID  - 1210.6414
ER  -