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
Language Label Description Also known as
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

    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