Подобни библ. документи

• Protocol specification, testing, and verification, IX : Proceedings of the IFIP WG 6.1 Ninth International symposium on protocol specification, testing, and verification, Enschede, The Netherlands, 6-9 June, 1989 /
  Публикувано: (1990)
• Protocol specification, testing, and verification, X : Proceedings of the IFIP WG 6.1 Tenth International symposium on Protocol specification, testing, and verification, Ottawa, Ontario, Canada, 12-15 June, 1990 /
  Публикувано: (1990)
• Protocol specification, testing and verification, XII /
  Публикувано: (1992)
• Protocols for high-speed networks, II : Proceedings of the IFIP WG 6.1/WG 6.4 Second International workshop on Protocols for high-speed networks, Palo Alto, CA, U. S. A., 27-29 November, 1990 /
  Публикувано: (1991)
• 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 /
  Публикувано: (1991)