Partial-Order Methods For The Verification Of Concurrent Systems door Patrice Godefroid