Formal description techniques, V :   Proceedings of the IFIP TC6/WG6.1 Fifth International Conference on Formal Description Techniques for Distributed Systems and Communications Protocol-FORTE 92, Perros-Guirec, France, 13-16 October 1992  
/ North-holland 
 - Amsterdam:   North-holland,   1993 
 - xvi, 508p. 
<br/><br/><label>ISBN: </label>0444892826 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Information technology
<br/><br/><label>Subjects--Index Terms: </label>Communication protocols 
<br/><br/><label>Universal Decimal Class. No.: </label>D 681.02(082.2)   / N3