Sigrefa symbolic bisimulation tool box (2006)

by R Wimmer, M Herbstritt, H Hermanns, K Strampp, B Becker
Venue:Automated Technology for Verification and Analysis (ATVA), volume 4218 of LNCS