APA (7th ed.) Citation

International Conference on Formal Methods for Open Object-Based Distributed Systems Amsterdam, Netherlands, SpringerLink (Online service), FORTE 2010, Hatcliff, J., & Zucca, E. (2010). Formal techniques for distributed systems: Joint 12th IFIP WG 6.1 international conference, FMOODS 2010 and 30th IFIP WG 6.1 international conference, FORTE 2010, Amsterdam, The Netherlands, June 7-9, 2010 ; proceedings. Springer. https://doi.org/10.1007/978-3-642-13464-7

Chicago Style (17th ed.) Citation

International Conference on Formal Methods for Open Object-Based Distributed Systems Amsterdam, Netherlands, SpringerLink (Online service), FORTE 2010, John Hatcliff, and Elena Zucca. Formal Techniques for Distributed Systems: Joint 12th IFIP WG 6.1 International Conference, FMOODS 2010 and 30th IFIP WG 6.1 International Conference, FORTE 2010, Amsterdam, The Netherlands, June 7-9, 2010 ; Proceedings. Berlin: Springer, 2010. https://doi.org/10.1007/978-3-642-13464-7.

MLA (9th ed.) Citation

International Conference on Formal Methods for Open Object-Based Distributed Systems Amsterdam, Netherlands, et al. Formal Techniques for Distributed Systems: Joint 12th IFIP WG 6.1 International Conference, FMOODS 2010 and 30th IFIP WG 6.1 International Conference, FORTE 2010, Amsterdam, The Netherlands, June 7-9, 2010 ; Proceedings. Springer, 2010. https://doi.org/10.1007/978-3-642-13464-7.