TY  - BOOK
AU  - Godefroid,Patrice
TI  - Partial-order methods for the verification of concurrent systems: an approach to the state-explosion problem
SN  - 3540607617
AV  - QA76.58 G63
PY  - 1996///
CY  - Berlin
PB  - Springer-Verlag
KW  - Parallel processing (Electronic computers)
KW  - Computer software
KW  - Verification
ER  -