Generalized model checking: Reasoning about partial state spaces (0)

by G Bruns, P Godefroid
Venue:CONCUR, Lecture Notes in Computer Science 1877 (2000