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 /

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:

Evans: Library Stacks

Holdings details from Evans: Library Stacks
Call Number: QA76.9.F67 I35 1999
 
Call Number Status Get It
QA76.9.F67 I35 1999 Available