Formal techniques for distributed objects, components, and systems. 40th IFIP WG 6.1 international conference, FORTE 2020, held as part of the 15th international federated conference on distributed computing techniques, DisCoTec 2020, Valletta, Malta, Jun

DOI10.1007/978-3-030-50086-3zbMATH Open1496.68021OpenAlexW3180756034MaRDI QIDQ2128403

Author name not available (Why is that?)

Publication date: 21 April 2022

Published in: (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-030-50086-3

Mathematics Subject Classification ID

No records found.

This page was built for publication: Formal techniques for distributed objects, components, and systems. 40th IFIP WG 6.1 international conference, FORTE 2020, held as part of the 15th international federated conference on distributed computing techniques, DisCoTec 2020, Valletta, Malta, Jun

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2128403)