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.
Citazione stile Chigago Style (17a edizione)International Conference on Formal Methods for Open Object-Based Distributed Systems Reykjavik, Iceland, SpringerLink (Online service), Roberto Bruni, e 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.
Citatione MLA (9a ed.)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.