Formal description techniques III
Subtitle: proceedings of the IFIP TC/WG 6.1 Third International Conference on Formal Description Techniques for Distributed Systemsand Communications Protocols, FORTE '90, Madrid, Spain, 5-8 November, 1990
By: edited by Juan Quemada, José Mañas, Enrique Vázquez.
Contributors: Quemada, Juan, 1953-; Mañas, Jose, 1956-; Vazquez, Enrique, 1960-
Publisher: North-Holland
Published: 1991
Place of publication: Amsterdam; Oxford
Language: eng
Number of pages: 584