共 10 条
- [9] PROTOCOL SPECIFICATION, TESTING AND VERIFICATION - A SELECTION OF TUTORIAL PAPERS PRESENTED AT THE 11TH IFIP WG-6.1 INTERNATIONAL-SYMPOSIUM ON PROTOCOL SPECIFICATION, TESTING AND VERIFICATION 18-20 JUNE 1991, STOCKHOLM, SWEDEN COMPUTER NETWORKS AND ISDN SYSTEMS, 1993, 25 (09): : 967 - 968