Rudin, H., & West, C. H. (1983). 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. Amsterdam: North-Holland.
Παραπομπή Chicago StyleRudin, Harry, and Colin H. West. 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. Amsterdam: North-Holland, 1983.
Παραπομπή MLARudin, Harry, and Colin H. West. 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. Amsterdam: North-Holland, 1983.