Formal description techniques II
Subtitle: proceedings of the IFIP TC/WG 6.1 Second International Conference on Formal Description Techniques for Distributed Systemsand Communications Protocols, FORTE '89, Vancouver, Canada, 5-8 December 1989
By: edited by Son T. Vuong..
Contributors: Vuong, Son T.
Publisher: North-Holland
Published: 1990
Place of publication: Amsterdam; Oxford
Language: eng
Number of pages: 549
Notes: Includes bibliographical references.