Partial Order Methods for the Verification of Concurrent Systems (1996)

by P Godefroid
Venue:Lecture Notes in Computer Science 1,032