APA (7th ed.) Citation

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. IFIP International Federation for Information Processing.

Chicago Style (17th ed.) Citation

Hatcliff, John, 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, Heidelberg: IFIP International Federation for Information Processing, 2010.

MLA (8th ed.) Citation

Hatcliff, John, 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. IFIP International Federation for Information Processing, 2010.