Result: Formal methods for open object based distributed systems

*Title*:

Formal methods for open object based distributed systems : 8th IFIP WG 6.1 international conference ; proceedings / FMOODS 2006, Bologna, Italy, June 14 - 16, 2006. Roberto Gorrieri ... (ed.)

*Author/editor-in-chief*:

Gorrieri, Roberto

*Corporate*:

*Publication*:

Berlin : Springer, 2006

*Physical description scale*:

1 Online-Ressource

*Format*:

*eBook*

*Language*:

*eng*

*series_multipart*:

Lecture notes in computer science ; 4037
*show_all_volumes*

*RVK-Notation*:

*Subject Added Keywords*:

*ISBN*:

9783540348931

*DOI*:

10.1007/11768869

*Result*: Formal methods for open object based distributed systems