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

From MaRDI portal
Publication:2128403

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


Authors:


Publication date: 21 April 2022

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

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







Cited In (4)





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)