de Pol. State space reduction by proving confluence (2002)

by S Blom, J van
Venue:In Proc. 14th Conf. on Computer Aided Verification, volume 2404 of LNCS