Static Analysis Techniques for Parameterised Boolean Equation Systems.

Simona Orzan, Wieger Wesselink, Tim A. C. Willemse

Browse the full TACAS paper archive.