Formal methods for protocol engineering and distributed systems : FORTE XII/PSTV XIX'99 : IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XII) and Protocol Specification, Testing, and Verification (PSTV XIX) : October 5-8, 1999, Beijing, China /
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: |