SpringerLink (Online service), Ábrahám, E., & Palamidessi, C. (2014). Formal Techniques for Distributed Objects, Components, and Systems: 34th IFIP WG 6.1 International Conference, FORTE 2014, Held as Part of the 9th International Federated Conference on Distributed Computing Techniques, DisCoTec 2014, Berlin, Germany, June 3-5, 2014. Proceedings. Springer Berlin Heidelberg : Imprint: Springer.
Chicago Style (17th ed.) CitationSpringerLink (Online service), Erika Ábrahám, and Catuscia Palamidessi. Formal Techniques for Distributed Objects, Components, and Systems: 34th IFIP WG 6.1 International Conference, FORTE 2014, Held as Part of the 9th International Federated Conference on Distributed Computing Techniques, DisCoTec 2014, Berlin, Germany, June 3-5, 2014. Proceedings. Berlin, Heidelberg: Springer Berlin Heidelberg : Imprint: Springer, 2014.
MLA (8th ed.) CitationSpringerLink (Online service), et al. Formal Techniques for Distributed Objects, Components, and Systems: 34th IFIP WG 6.1 International Conference, FORTE 2014, Held as Part of the 9th International Federated Conference on Distributed Computing Techniques, DisCoTec 2014, Berlin, Germany, June 3-5, 2014. Proceedings. Springer Berlin Heidelberg : Imprint: Springer, 2014.