Formal methods for components and objects. Third international symposium, FMCO 2004, Leiden, The Netherlands, November 2--5, 2004. Revised lectures. (Q819983)

From MaRDI portal





scientific article; zbMATH DE number 5017346
Language Label Description Also known as
English
Formal methods for components and objects. Third international symposium, FMCO 2004, Leiden, The Netherlands, November 2--5, 2004. Revised lectures.
scientific article; zbMATH DE number 5017346

    Statements

    Formal methods for components and objects. Third international symposium, FMCO 2004, Leiden, The Netherlands, November 2--5, 2004. Revised lectures. (English)
    0 references
    5 April 2006
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references