TY  - BOOK
AU  - Kurshan, Robert P.
TI  - Computer-Aided Verification of Coordinating Processes: Automata-Theoretic Approach
SN  - 0 691 03436 2
CY  - Princeton
ER  -