Formal description techniques, V
Subtitle: proceedings of the IFIP TC6/WG6.1 Fifth International Conference on Formal Description Techniques for Distributed Systems and Communications Protocols--FORTE 92, Perros-Guirec, France, 13-16 October 1992
By: edited by Michel Diaz, Roland Groz.
Contributors: Diaz, Michel, 1945-; Groz, Roland.
Series: IFIP transactions -- C-10
Publisher: North-Holland
Published: 1993
Place of publication: Amsterdam; New York
Language: eng
Number of pages: 508
Subjects: Computer network protocols -- Congresses.; Electronic data processing -- Distributed processing -- Congresses.; Formal languages -- Congresses.
Other titles: Formal description techniques, 5.; Formal description techniques, five.
Notes: Includes bibliographical references and index.