Minimization of Large State Spaces using Symbolic Branching Bisimulation

• Authors:

• R. Wimmer;M. Herbstritt;B. Becker

• Affiliations:

• -;-;-

• Venue:
• DDECS '06 Proceedings of the 2006 IEEE Design and Diagnostics of Electronic Circuits and systems
• Year:
• 2006