APA (7th ed.) Citation

SpringerLink (Online service), 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 Berlin Heidelberg.

Chicago Style (17th ed.) Citation

SpringerLink (Online service), 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, Heidelberg: Springer Berlin Heidelberg, 2010.

MLA (8th ed.) Citation

SpringerLink (Online service), 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 Berlin Heidelberg, 2010.

Warning: These citations may not always be 100% accurate.