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

by S Blom, J van
Venue:In Proc. Computer Aided Verification (CAV’02