Formal techniques for distributed objects, components, and systems. 34th IFIP WG 6.1 international conference, FORTE 2014, held as Part of the 9th international federated conference on distributed computing techniques, DisCoTec 2014, Berlin, Germany, June 3--5, 2014. Proceedings (Q2451834)

From MaRDI portal





scientific article
Language Label Description Also known as
English
Formal techniques for distributed objects, components, and systems. 34th IFIP WG 6.1 international conference, FORTE 2014, held as Part of the 9th international federated conference on distributed computing techniques, DisCoTec 2014, Berlin, Germany, June 3--5, 2014. Proceedings
scientific article

    Statements

    Formal techniques for distributed objects, components, and systems. 34th IFIP WG 6.1 international conference, FORTE 2014, held as Part of the 9th international federated conference on distributed computing techniques, DisCoTec 2014, Berlin, Germany, June 3--5, 2014. Proceedings (English)
    0 references
    26 May 2014
    0 references

    Identifiers