Faster Signature Refinement for Branching Bisimilarity Minimization.

Jan Martens, Maurice Laveaux

Browse the full TACAS paper archive.