Proc. 9th Intl. Conf. on Formal Methods for Open Object-Based Distributed Systems (FMOODS'07).

Type
Publication
LNCS 4468. © Springer 2007.