Partial-Order Methods for Temporal Verification.

Pierre Wolper, Patrice Godefroid

Browse the full CONCUR paper archive.