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
default for all languages
No label defined
    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