TY  - BOOK
AU  - Peled, Doron A. Ed.
AU  - Pratt, Vaughan R. Ed.
AU  - Holzmann, Gerard J. Ed.
TI  - Partial order methods in verification: DIMACS workshop July 24-26, 1996
SN  - 0821805797
CY  - Rhode Island
KW  - Distributed processing
KW  - Partial order systems
ER  -