TY - DATA AU - Gorrieri,Roberto AU - Wehrheim,Heike ED - SpringerLink (Online service) TI - Formal Methods for Open Object-Based Distributed Systems: 8th IFIP WG 6.1 International Conference, FMOODS 2006, Bologna, Italy, June 14-16, 2006. Proceedings T2 - Lecture Notes in Computer Science, SN - 9783540348955 AV - QA76.9.D5 G67 2006 PY - 2006/// CY - Berlin, Heidelberg PB - Springer-Verlag Berlin Heidelberg KW - Procesamiento electrónico de datos KW - Congresos KW - Programación orientada a objetos (Computadores) UR - http://dx.doi.org/10.1007/11768869 ER -