SpringerLink (Online service), Steffen, M., & Zavattaro, G. (2005). Formal Methods for Open Object-Based Distributed Systems: 7th IFIP WG 6.1 International Conference, FMOODS 2005, Athens, Greece, June 15-17, 2005. Proceedings. Springer Berlin Heidelberg : Imprint: Springer.
Παραπομπή σε μορφή Chicago (17η εκδ.)SpringerLink (Online service), Martin Steffen, και Gianluigi Zavattaro. Formal Methods for Open Object-Based Distributed Systems: 7th IFIP WG 6.1 International Conference, FMOODS 2005, Athens, Greece, June 15-17, 2005. Proceedings. Berlin, Heidelberg: Springer Berlin Heidelberg : Imprint: Springer, 2005.
Παραπομπή σε μορφή MLA (8th εκδ.)SpringerLink (Online service), et al. Formal Methods for Open Object-Based Distributed Systems: 7th IFIP WG 6.1 International Conference, FMOODS 2005, Athens, Greece, June 15-17, 2005. Proceedings. Springer Berlin Heidelberg : Imprint: Springer, 2005.
