Formal description techniques IV
Subtitle: proceedings of the IFIP TC6/WG6.1 Fourth International Conference on Formal Description Techniques for Distributed Systems and Communications Protocols, FORTE '91, Sydney, Australia, 19-22 November 1991
By: edited by K. R. Parker, G. A. Rose.
Contributors: Parker, K. R.; Rose, G. A.
Publisher: North-Holland
Published: 1992
Place of publication: Amsterdam; London
Language: eng
Number of pages: 574
Notes: Includes bibliographical references.