A Parallel Relation-Based Algorithm for Symbolic Bisimulation Minimization.

Richard Huybers, Alfons Laarman

Browse the full VMCAI paper archive.