IFIP WG 6.1 International Symposium on Protocol Specification, Testing, and Verification.IFIP WG 6.1 International Symposium on Protocol Specification, Testing, and Verification(10th : 1990 : Ottawa)：protocol specification, testing, and verification, X..North-Holland,1990.
IFIP WG 6.1 International Symposium on Protocol Specification, Testing, and Verification(10th : 1990 : Ottawa)：protocol specification, testing, and verification, X.
IFIP WG 6.1 International Symposium on Protocol Specification, Testing, and Verification.North-Holland,1990.
