APA (7th ed.) Citation

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, SpringerLink (Online service), IFIP TC/WG 6.1 International Conference on Formal Description Techniques for Distributed Systems and Communications Protocols, IFIP WG 6.1 International Symposium on Protocol Specification, Testing, and Verification, Wu, J., Chanson, S. T., & Gao, Q. (1999). 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. Kluwer Academic.

Chicago Style (17th ed.) Citation

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, SpringerLink (Online service), IFIP TC/WG 6.1 International Conference on Formal Description Techniques for Distributed Systems and Communications Protocols, Testing IFIP WG 6.1 International Symposium on Protocol Specification, Jianping Wu, Samuel T. Chanson, and Qiang Gao. 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. Boston: Kluwer Academic, 1999.

MLA (9th ed.) Citation

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, et al. 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. Kluwer Academic, 1999.