Partial-order methods for the verification of concurrent systems : an approach to the state-explosion problem - Godefroid, Patrice (Berlin : Springer-Verlag, 1996)
Keywords: Parallel processing (Electronic computers); Computer software -- Verification