Logrippo, L., Probert, R. L., & Ural, H. (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. Amsterdam: North-Holland.
Παραπομπή Chicago StyleLogrippo, Luigi, Robert L. Probert, and Hasan Ural. 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. Amsterdam: North-Holland, 1990.
Παραπομπή MLALogrippo, Luigi, Robert L. Probert, and Hasan Ural. 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. Amsterdam: North-Holland, 1990.