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

PSZJBL

Bibliographic Details
Main Authors: International Conference on Formal Methods for Open Object-Based Distributed Systems (9th : 2007 : Paphos, Cyprus), Bonsangue, Marcello M., Johnsen, Einar Broch, SpringerLink (Online service)
Format:
Language:eng
Published: Berlin Heidelberg : Springer-Verlag GmbH., 2007
Subjects:
Online Access:http://dx.doi.org/10.1007/978-3-540-72952-5

Similar Items