Instantiation for Parameterised Boolean Equation Systems.

Alexander van Dam, Bas Ploeger, Tim A. C. Willemse

Browse the full ICTAC paper archive.