A.: A fast bisimulation algorithm (2001)

by A Dovier, C Piazza, Policriti
Venue:In: International Conference on Computer Aided Verification