Formal Methods for Open Object-Based Distributed Systems, 8th IFIP WG 6.1 International Conference, FMOODS 2006, Bologna, Italy, June 14-16, 2006, Proceedings

Roberto Gorrieri 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 4037 2006 3-540-34893-X FMOODS Lecture Notes in Computer Science Springer db/conf/fmoods/fmoods2006.html