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)

Description
Physical Description:	304 pages : illustrations ; 25 cm.
Bibliography:	Includes bibliographical references and index.
ISBN:	0792382846 (acid-free paper)