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
Author(s)
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
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
-
Library, Research Institute for Mathematical Sciences, Kyoto University数研
C-P||Madrid||1990.1191037464
-
No Libraries matched.
- Remove all filters.
Note
Includes bibliographical references