Formal techniques for distributed objects, components, and systems. 37th IFIP WG 6.1 international conference, FORTE 2017, held as part of the 12th international federated conference on distributed computing techniques, DisCoTec 2017, Neuchâtel, Switzerland, June 19--22, 2017. Proceedings (Q2356975)

From MaRDI portal
scientific article; zbMATH DE number 6726538
Language Label Description Also known as
default for all languages
No label defined
    English
    Formal techniques for distributed objects, components, and systems. 37th IFIP WG 6.1 international conference, FORTE 2017, held as part of the 12th international federated conference on distributed computing techniques, DisCoTec 2017, Neuchâtel, Switzerland, June 19--22, 2017. Proceedings
    scientific article; zbMATH DE number 6726538

      Statements

      Formal techniques for distributed objects, components, and systems. 37th IFIP WG 6.1 international conference, FORTE 2017, held as part of the 12th international federated conference on distributed computing techniques, DisCoTec 2017, Neuchâtel, Switzerland, June 19--22, 2017. Proceedings (English)
      0 references
      7 June 2017
      0 references

      Identifiers