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.

Saved in:
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:

PASCAL Offsite

Holdings details from PASCAL Offsite
Call Number: QA76.9.F67 I35 1999
QA76.9.F67 I35 1999 Available Place a Hold