Q2128403
type: Item
instance of: scholarly article
title: 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, June 15--19, 2020. Proceedings
zbMATH Open document ID: 1496.68021
DOI: 10.1007/978-3-030-50086-3
published in: Lecture Notes in Computer Science
publication date: 2022-04-21T00:00:00Z
Mathematics Subject Classification ID: 68-06
Mathematics Subject Classification ID: 68M14
Mathematics Subject Classification ID: 00B25
zbMATH DE Number: 7511488
MaRDI profile type: Publication
full work available at URL: https://doi.org/10.1007/978-3-030-50086-3
OpenAlex ID: W3180756034
label: 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, June 15--19, 2020. Proceedings
description: scientific article