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
Main Authors: | , , , |
---|---|
Format: | |
Language: | eng |
Published: |
Berlin Heidelberg : Springer-Verlag GmbH.,
2007
|
Subjects: | |
Online Access: | http://dx.doi.org/10.1007/978-3-540-72952-5 |