Formal description techniques, V
Subtitle: proceedings of the IFIP TC6/WG6.1 Fifth International Conference on Formal Description Techniques for Distributed Systems andCommunications Protocol--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: AmsterdamLondon
Language: eng
Number of pages: 508
Notes: Includes bibliographical references.