Lai, Richard <br/><br/>
Communication protocol specification and verification 
by Richard Lai, Ajin Jirachiefpattana 
 - Deventer, The Netherlands ; Boston, MA  Kluwer Academic  c1998 
 - xxii, 304 p. : ill. ; 25 cm 
<br/><br/> Includes bibliographical references and index 
<br/><br/><label>ISBN: </label>9780792382843 
<br/><br/><label>ISSN: </label>98039003 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Computer network protocols - Specifications<br/>Computer programs - Verification<br/>LOTOS (Computer program language)
<br/><br/><label>Dewey Class. No.: </label>004.62 LAI