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 Style (17th ed.) CitationInternational Conference on Formal Methods for Open Object-Based Distributed Systems Reykjavik, Iceland, SpringerLink (Online service), Roberto Bruni, and 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.
ציטוט MLAInternational 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.