Bibliographic Details
Corporate Authors: |
IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols and Protocol Specification, Testing, and Verification Beijing, China,
IFIP TC/WG 6.1 International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols,
IFIP WG 6.1 International Symposium on Protocol Specification, Testing, and Verification |
Other Authors: |
Wu, Jianping, 1953-,
Chanson, Samuel T. (Samuel Tin-hung),
Gao, Qiang, 1963- |
Format: | Conference Proceeding
Book
|
Language: | English |
Published: |
Boston :
Kluwer Academic,
©1999.
|
Series: | International Federation for Information Processing (Series) ;
28.
|
Subjects: | |