Symbolic Bisimulation Minimisation.

Amar Bouali, Robert de Simone

Browse the full CAV paper archive.