Formal Methods for Open Object-Based Distributed Systems, IFIF TC6/WG6.1 Third International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS), February 15-18, 1999, Florence, Italy

Paolo Ciancarini Alessandro Fantechi Roberto Gorrieri Formal Methods for Open Object-Based Distributed Systems, IFIF TC6/WG6.1 Third International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS), February 15-18, 1999, Florence, Italy FMOODS IFIP Conference Proceedings 139 Kluwer 1999 0-7923-8429-6 db/conf/fmoods/fmoods1999.html