Formal methods for open object-based distributed systems. 10th IFIP WG 6.1 international conference, FMOODS 2008, Oslo, Norway, June 4--6, 2008. Proceedings (Q925321)

From MaRDI portal





scientific article; zbMATH DE number 5281998
Language Label Description Also known as
English
Formal methods for open object-based distributed systems. 10th IFIP WG 6.1 international conference, FMOODS 2008, Oslo, Norway, June 4--6, 2008. Proceedings
scientific article; zbMATH DE number 5281998

    Statements

    Formal methods for open object-based distributed systems. 10th IFIP WG 6.1 international conference, FMOODS 2008, Oslo, Norway, June 4--6, 2008. Proceedings (English)
    0 references
    3 June 2008
    0 references

    Identifiers