TY  - BOOK
AU  - Lai, Richard
AU  - Ajin Jirachiefpattana
TI  - Communication protocol specification and verification
SN  - 9780792382843
SN  - 98039003
U1  - 004.62 LAI 
PY  - 1998///
CY  - Deventer, The Netherlands ; Boston, MA
PB  - Kluwer Academic
KW  - Computer network protocols - Specifications
KW  - Computer programs - Verification
KW  - LOTOS (Computer program language)
N1  - Includes bibliographical references and index
ER  -