Sigref- A Symbolic Bisimulation Tool Box.

Ralf Wimmer, Marc Herbstritt, Holger Hermanns, Kelley Strampp, Bernd Becker

Browse the full ATVA paper archive.