Communication protocol specification and verification
By: by Richard Lai, Ajin Jirachiefpattana.
Contributors: Ajin Jirachiefpattana.
Series: The Kluwer international series in engineering and computer science ;; SECS 464
Publisher: Kluwer Academic
Published: 1998
Place of publication: Boston
Language: eng
Number of pages: 304
Subjects: Computer network protocols -- Specifications; Computer programs -- Verification; LOTOS (Computer program language)
Notes: Includes bibliographical references and index.