Coverage preserving reduction strategies for reachability analysis (1992)

by G J Holzmann, P Godefroid, D Pirottin
Venue:Proc. 12th Conf on Protocol Specification Testing and Verification