APA (7th ed.) Citation

Smith, S. F., & Talcott, C. L. (2000). Formal Methods for Open Object-Based Distributed Systems IV: IFIP TC6/WG6.1. Fourth International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2000) September 6-8, 2000, Stanford, California, USA. Springer US : Imprint: Springer.

Chicago Style (17th ed.) Citation

Smith, Scott F., and Carolyn L. Talcott. Formal Methods for Open Object-Based Distributed Systems IV: IFIP TC6/WG6.1. Fourth International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2000) September 6-8, 2000, Stanford, California, USA. Boston, MA: Springer US : Imprint: Springer, 2000.

MLA (9th ed.) Citation

Smith, Scott F., and Carolyn L. Talcott. Formal Methods for Open Object-Based Distributed Systems IV: IFIP TC6/WG6.1. Fourth International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2000) September 6-8, 2000, Stanford, California, USA. Springer US : Imprint: Springer, 2000.