Formal description techniques and protocol specification, testing, and verification :
FORTE X/PSTV XVII '97 : IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE X) and Protocol Specification, Testing, and Verification (PSTV XVII) : 18-21 November 1997, Osaka, Japan /
edited by Tadanori Mizuno ... [et al.].

APA Citation

IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocol and Protocol Specification, T., Mizuno, T., International Federation for Information Processing., IFIP WG 6.1 International Symposium on Protocol Specification, T., IFIP TC/WG 6.1 International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (10th : 1997 : Osaka, J. (1997). Formal description techniques and protocol specification, testing, and verification: FORTE X/PSTV XVII '97 : IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE X) and Protocol Specification, Testing, and Verification (PSTV XVII) : 18-21 November 1997, Osaka, Japan. London: Published by Chapman & Hall on behalf of the International Federation for Information Processing (IFIP).

MLA Citation

IFIP TC/WG 6.1 International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (10th : 1997 : Osaka, J, et al.. Formal Description Techniques And Protocol Specification, Testing, And Verification: FORTE X/PSTV XVII '97 : IFIP TC6 WG6.1 Joint International Conference On Formal Description Techniques for Distributed Systems And Communication Protocols (FORTE X) And Protocol Specification, Testing, And Verification (PSTV XVII) : 18-21 November 1997, Osaka, Japan. London: Published by Chapman & Hall on behalf of the International Federation for Information Processing (IFIP), 1997.