Liveness Analysis for Parameterised Boolean Equation Systems.

Jeroen J. A. Keiren, Wieger Wesselink, Tim A. C. Willemse

Browse the full ATVA paper archive.