Formal techniques for distributed systems. Joint 11th IFIP WG 6.1 international conference FMOODS 2009 and 29th IFIP WG 6.1 international conference FORTE 2009, Lisboa, Portugal, June 9--12, 2009. Proceedings (Q1025403)

From MaRDI portal
scientific article; zbMATH DE number 5566527
Language Label Description Also known as
default for all languages
No label defined
    English
    Formal techniques for distributed systems. Joint 11th IFIP WG 6.1 international conference FMOODS 2009 and 29th IFIP WG 6.1 international conference FORTE 2009, Lisboa, Portugal, June 9--12, 2009. Proceedings
    scientific article; zbMATH DE number 5566527

      Statements

      Formal techniques for distributed systems. Joint 11th IFIP WG 6.1 international conference FMOODS 2009 and 29th IFIP WG 6.1 international conference FORTE 2009, Lisboa, Portugal, June 9--12, 2009. Proceedings (English)
      0 references
      18 June 2009
      0 references

      Identifiers