(1996). Formal description techniques IX: Theory, application and tools : IFIP TC6/6.1 International Conference on Formal Description Techniques IX/Protocol Specification, Testing and Verification XVI, Kaiserlautern, Germany, 8-11 October 1996. Published by Chapman & Hall on behalf of the International Federation for Information Processing.
Chicagoスタイル(17版)引用形式Formal Description Techniques IX: Theory, Application and Tools : IFIP TC6/6.1 International Conference on Formal Description Techniques IX/Protocol Specification, Testing and Verification XVI, Kaiserlautern, Germany, 8-11 October 1996. London: Published by Chapman & Hall on behalf of the International Federation for Information Processing, 1996.
MLA(9版)引用形式Formal Description Techniques IX: Theory, Application and Tools : IFIP TC6/6.1 International Conference on Formal Description Techniques IX/Protocol Specification, Testing and Verification XVI, Kaiserlautern, Germany, 8-11 October 1996. Published by Chapman & Hall on behalf of the International Federation for Information Processing, 1996.