Sign in

Minimization of Large State Spaces using Symbolic Branching Bisimulation.

Ralf WimmerMarc HerbstrittBernd Becker
Published in: DDECS (2006)
Keyphrases