Control Flow-Based Symmetry Reduction for Parameterised Boolean Equation Systems.

Menno Bartels, Maurice Laveaux, Thomas Neele, Tim A. C. Willemse

Browse the full FORTE paper archive.