Communication protocol specification and verification /

Bibliographic Details
Main Author:	Lai, Richard, Ph. D.
Other Authors:	Ajin Jirachiefpattana
Format:	Book
Language:	English
Published:	Boston : Kluwer Academic, [1998]
Series:	Kluwer international series in engineering and computer science ; SECS 464.
Subjects:	Computer network protocols > Specifications. Computer programs > Verification. LOTOS (Computer program language)

Evans: Library Stacks