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

Author(s)

• IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols and Protocol Specification, Testing, and Verification
• Wu, Jianping
• Chanson, Samuel T. (Samuel Tin-hung)
• Gao, Qiang
• 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

Bibliographic Information

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

edited by Jianping Wu, Samuel T. Chanson, Qiang Gao

（The International Federation for Information Processing, 28）

Kluwer Academic, c1999

Note

Includes bibliographical references

Details

• NCID: BA44400735
• ISBN:
  • 0792386469
• LCCN: 99040808
• Country Code: us
• Title Language Code: eng
• Text Language Code: eng
• Place of Publication: Boston
• Pages/Volumes: 497 p.
• Size: 25 cm
• Classification:
  • LCC : QA76.9.F67
  • DC21 : 005.13/1
• Subject Headings:
  • LCSH : Formal methods (Computer science) Congresses
  • LCSH : Electronic data processing -- Distributed processing Congresses
  • LCSH : Computer network protocols Congresses
• Parent Bibliography ID:
  • BA39641980