http://www.loc.gov/mods/v3 http://www.loc.gov/standards/mods/v3/mods-3-2.xsd
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
IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols and Protocol Specification, Testing, and Verification (1999 : Beijing, China)
IFIP TC/WG 6.1 International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols 1999 : Beijing, China)
IFIP WG 6.1 International Symposium on Protocol Specification, Testing, and Verification 1999 : Beijing, China)
edited by Jianping Wu, Samuel T. Chanson, Qiang Gao.
International Federation for Information Processing (Series) ; 28