Paolo Ciancarini; Alessandro Fantechi; Roberto Gorrieri
Document Type
Proceedings Paper
Year published
1999
Published
in 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 in IFIP Conference Proceedings