Formal description techniques, III : proceedings of the IFIP TC/WG 6.1 Third International Conference on Formal Description Techniques for Distributed Systems and Communications Protocols, FORTE '90, Madrid, Spain, 5-8 November, 1990

Bibliographic Information

Formal description techniques, III : proceedings of the IFIP TC/WG 6.1 Third International Conference on Formal Description Techniques for Distributed Systems and Communications Protocols, FORTE '90, Madrid, Spain, 5-8 November, 1990

edited by Juan Quemada, Jose Mañas, Enrique Vázquez

North-Holland , Distributors for the US and Canada, Elsevier Science Pub. Co., 1991

Other Title

Formal description techniques, 3

Formal description techniques, three

Available at  / 10 libraries

Search this Book/Journal

Note

Includes bibliographical references

Details

Page Top