Bochmann, Gregor V <br/><br/>
Formal description techniques VIII : proceedings of the IFIP TC6 eighth international conference on formal description techniques, Montreal, Canada, October 1995 
Gregor V Bochmann; R Dssouli; Omar Rafiq 
 - London  Chapman & Hall on behalf of the Internatinal Federation for Information Processing (IFIP)  1996 
 - xiv, 452 p. : ill. ; 25 cm 
<br/><br/><label>ISBN: </label>9780412732706 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Protocol - networking
<br/><br/><label>Dewey Class. No.: </label>004.62 BOU