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
AuthID
P-00G-AJR
P-00G-AJR