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 (17η εκδ.)SpringerLink (Online service), Marcello M. Bonsangue, και 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 εκδ.)SpringerLink (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.