Minimization of Large State Spaces using Symbolic Branching Bisimulation.

Ralf Wimmer, Marc Herbstritt, Bernd Becker

Browse the full DDECS paper archive.