2007-06-01
Formal Methods for Open Object-Based Distributed Systems, 9th IFIP WG 6.1 International Conference, FMOODS 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings
Publication
Publication
Presented at the
IFIP International Conference on Formal Methods for Open Object-Based Distributed Systems, Paphos, Cyprus
Additional Metadata | |
---|---|
Springer | |
M.M. Bonsangue (Marcello) , E.B. Johnsen (Einar Broch) | |
Lecture Notes in Computer Science | |
IFIP International Conference on Formal Methods for Open Object-Based Distributed Systems | |
Organisation | Computer Security |
Bonsangue, M.M, & Johnsen, E.B (Eds.). (2007). Formal Methods for Open Object-Based Distributed Systems, 9th IFIP WG 6.1 International Conference, FMOODS 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings. In M.M Bonsangue & E.B Johnsen (Eds.), Formal Methods for Open Object-Based Distributed Systems, 9th IFIP WG 6.1 International Conference, FMOODS 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings. Springer.
|