Title: Communication protocol specification and verification
First published: 1998
Subjects: Computer network protocols, Specifications, LOTOS (Computer program language), Verification, Computer programs, Lotus 1-2-3 (computer program)
LC classification: TK5105.55 .L35 1998