Generalized Model Checking: Reasoning about Partial State Spaces.

Glenn Bruns, Patrice Godefroid

Browse the full CONCUR paper archive.