TY  - BOOK
AU  - LAI AND JIRACHIEFPATTANA
ED  - NO
TI  - COMMUNICATION PROTOCOL SPECIFICATION AND VERIFICATION
SN  - 0792382846
U1  - 621.384 5 LAI 
PY  - 1998///
PB  - KLUWER ACADEMIC
ER  -