Partial-OrderMethods for the Verification of Concurrent Systems – An Approach to the State-Explosion Problem (1996)

by P Godefroid
Venue:of LNCS