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.
Cytowanie według stylu Chicago (wyd. 17)International Conference on Formal Methods for Open Object-Based Distributed Systems Reykjavik, Iceland, SpringerLink (Online service), Roberto Bruni, i 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.
Cytowanie według stylu MLA (wyd. 9)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.