Similar Items

• Protocol specification, testing, and verification : proceedings of the IFIP WG 6.1 Second International Workshop on Protocol Specification, Testing, and Verification, organized by USC/ISI Idyllwild, California, U.S.A., 17-20 May, 1982 /
  Published: (1982)
• Protocol specification, testing, and verification, XIII: proceedings of the IFIP TC6/WG6.1, thirteenth International Symposium on Protocol Specification, Testing, and Verification, Liege, Belgium, 25-28 May, 1993/
  Published: (1993)
• 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 /
  Published: (1990)
• Protocol specification, testing, and verification, V : proceedings of the IFIP WG 6.1 Fifth International Workshop on Protocol Specification, Testing, and Verification organized by the LAAS du CNRS Toulouse-Moissac, France, June 10-13, 1985 /
  Published: (1986)
• Protocol specification, testing, and verification, III : proceedings of the IFIP WG 6.1 Third International Workshop on Protocol Specification, Testing, and Verification, organized by IBM Research Ruschlikon, Switzerland, 31 May - 2 June, 1983 /
  Published: (1983)