Formal description techniques, IV : proceedings of the IFIP TC/WG 6.1 Fourth International Conference on Formal Description Techniques for Distributed Systems and Communications Protocols, FORTE '91, Sydney, Australia, 19-22 November 1991
Author(s)
Bibliographic Information
Formal description techniques, IV : proceedings of the IFIP TC/WG 6.1 Fourth International Conference on Formal Description Techniques for Distributed Systems and Communications Protocols, FORTE '91, Sydney, Australia, 19-22 November 1991
(IFIP transactions, C . Communications systems ; 2)
North-Holland, 1992
Available at / 11 libraries
-
Library, Research Institute for Mathematical Sciences, Kyoto University数研
C-P||Sydney||1991.1192003983
-
No Libraries matched.
- Remove all filters.
Note
Includes bibliographical references