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

• Protocols for high-speed networks : Selected and revised papers from the IFIP WG 6.1/WG 6.4 International workshop on protocols for high-speed networks, Zurich, Switzerland, 9-11 May, 1989 /
  Публикувано: (1989)
• Formal description techniques, II : Proceedings of the IFIP TC/WG 6.1 Second International conference on Formal description techniques for distributed systems and communications protocols, FORTE '89, Vancouver, Canada, 5-8 December, 1989 /
  Публикувано: (1990)
• Protocols for high-speed networks, III /
  Публикувано: (1993)
• 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)
• 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)