Equivalence Checking for Infinite Systems Using Parameterized Boolean Equation Systems.

Taolue Chen, Bas Ploeger, Jaco van de Pol, Tim A. C. Willemse

Browse the full CONCUR paper archive.