SpringerLink (Online service), Bonsangue, M. M., & Johnsen, E. B. (2007). Formal Methods for Open Object-Based Distributed Systems: 9th IFIP WG 6.1 International Conference, FMOODS 2007, Paphos, Cyprus, June 6-8, 2007. Proceedings. Springer Berlin Heidelberg : Imprint: Springer.
Chicago Style (17th ed.) CitationSpringerLink (Online service), Marcello M. Bonsangue, and Einar Broch Johnsen. Formal Methods for Open Object-Based Distributed Systems: 9th IFIP WG 6.1 International Conference, FMOODS 2007, Paphos, Cyprus, June 6-8, 2007. Proceedings. Berlin, Heidelberg: Springer Berlin Heidelberg : Imprint: Springer, 2007.
MLA (8th ed.) CitationSpringerLink (Online service), et al. Formal Methods for Open Object-Based Distributed Systems: 9th IFIP WG 6.1 International Conference, FMOODS 2007, Paphos, Cyprus, June 6-8, 2007. Proceedings. Springer Berlin Heidelberg : Imprint: Springer, 2007.