International Conference on Formal Methods for Open Object-Based Distributed Systems Reykjavik, Iceland, SpringerLink (Online service), Bruni, R., & Dingel, J. (2011). Formal techniques for distributed systems: Joint 13th IFIP WG 6.1 International Conference, FMOODS 2011, and 30th IFIP WG 6.1 International Conference, FORTE 2011, Reykjavik, Iceland, June 6-9, 2011. Proceedings. Springer.
Chicago-viite (17. p.)International Conference on Formal Methods for Open Object-Based Distributed Systems Reykjavik, Iceland, SpringerLink (Online service), Roberto Bruni, ja Juergen Dingel. Formal Techniques for Distributed Systems: Joint 13th IFIP WG 6.1 International Conference, FMOODS 2011, and 30th IFIP WG 6.1 International Conference, FORTE 2011, Reykjavik, Iceland, June 6-9, 2011. Proceedings. Berlin, Heidelberg: Springer, 2011.
MLA-viite (9. p.)International Conference on Formal Methods for Open Object-Based Distributed Systems Reykjavik, Iceland, et al. Formal Techniques for Distributed Systems: Joint 13th IFIP WG 6.1 International Conference, FMOODS 2011, and 30th IFIP WG 6.1 International Conference, FORTE 2011, Reykjavik, Iceland, June 6-9, 2011. Proceedings. Springer, 2011.