TY  - BOOK
AU  - Sunshine,Carl A.
ED  - United States.
ED  - Rand Corporation.
ED  - United States.
TI  - Formal methods for communication protocol specification and verification
T2  - A Rand note
PY  - 1979///
CY  - California
PB  - Rand Corporation
KW  - Computer networks
N1  - Includes bibliographical references (p.48-61) and index
ER  -