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: | 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
-
Distributed Applications and Interoperable Systems [electronic resource] : 7th IFIP WG 6.1 International Conference, DAIS 2007, Paphos, Cyprus, June 6-8, 2007, Proccedings /
by: IFIP TC6 WG6.1 International Working Conference on Distributed Applications and Interoperable Systems (7th : 2007 : Paphos, Cyprus), et al.
Published: (2007) -
Coordination Models and Languages [electronic resource] : 9th International Conference, COORDINATION 2007, Paphos, Cyprus, June 6-8, 2007: Proceedings /
by: Coordination 2007 (2007 : Paphos, Cyprus), et al.
Published: (2007) -
First international conference on remote sensing and geoinformation of the environment : (RSCy2013) 8-10 April 2013, Paphos, Cyprus /
by: International Conference on Remote Sensing and Geoinformation of the Environment (1st : 2013 : Paphos, Cyprus), et al.
Published: (2013) -
Home networking : First IFIP WG 6.2 Home Networking Conference (IHN'2007), Paris, France, December 10-12, 2007 /
by: Al Agha, Khaldoun, et al.
Published: (2008) -
Formal techniques for networked and distributed systems-- FORTE 2007 [electronic resource] : 27th IFIP WG 6.1 international conference, Tallinn, Estonia, June 27-29, 2007 : proceedings /
by: FORTE 2007 (2007 : Tallinn, Estonia), et al.
Published: (2007)