Gorrieri, R., & Wehrheim, H. (2006). Formal Methods for Open Object-Based Distributed Systems: 8th IFIP WG 6.1 International Conference, FMOODS 2006, Bologna, Italy, June 14-16, 2006. Proceedings. Springer-Verlag Berlin Heidelberg.
Citación estilo ChicagoGorrieri, Roberto., and Heike Wehrheim. Formal Methods for Open Object-Based Distributed Systems: 8th IFIP WG 6.1 International Conference, FMOODS 2006, Bologna, Italy, June 14-16, 2006. Proceedings. Berlin, Heidelberg: Springer-Verlag Berlin Heidelberg, 2006.
Cita MLAGorrieri, Roberto., and Heike Wehrheim. Formal Methods for Open Object-Based Distributed Systems: 8th IFIP WG 6.1 International Conference, FMOODS 2006, Bologna, Italy, June 14-16, 2006. Proceedings. Berlin, Heidelberg: Springer-Verlag Berlin Heidelberg, 2006.