Formal Methods for Open Object-Based Distributed Systems, 9th IFIP WG 6.1 International Conference, FMOODS 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings

Marcello M. Bonsangue, Einar Broch Johnsen, editors, Formal Methods for Open Object-Based Distributed Systems, 9th IFIP WG 6.1 International Conference, FMOODS 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings. Volume 4468 of Lecture Notes in Computer Science, Springer, 2007.

Conference: fmoods2007

Editors

Marcello M. Bonsangue

This author has not been identified. Look up 'Marcello M. Bonsangue' in Google

Einar Broch Johnsen

This author has not been identified. Look up 'Einar Broch Johnsen' in Google