Bisimulation Minimization in an Automata-Theoretic Verification Framework.

Kathi Fisler, Moshe Y. Vardi

Browse the full FMCAD paper archive.