Partial Order Methods for the Verification of Concurrent Systems: An Approach to the State-Explosion Problem (1994)

by P Godefroid