Q2156876
type: Item
instance of: scholarly article
title: Formal techniques for distributed objects, components, and systems. 42nd IFIP WG 6.1 international conference, FORTE 2022, held as part of the 17th international federated conference on distributed computing techniques, DisCoTec 2022, Lucca, Italy, June 13--17, 2022. Proceedings
zbMATH Open document ID: 1492.68025
DOI: 10.1007/978-3-031-08679-3
published in: Lecture Notes in Computer Science
publication date: 2022-07-21T00:00:00Z
Mathematics Subject Classification ID: 68-06
Mathematics Subject Classification ID: 68M14
Mathematics Subject Classification ID: 68Q85
Mathematics Subject Classification ID: 00B25
zbMATH DE Number: 7560681
MaRDI profile type: Publication
full work available at URL: https://doi.org/10.1007/978-3-031-08679-3
OpenAlex ID: W4293196881
label: Formal techniques for distributed objects, components, and systems. 42nd IFIP WG 6.1 international conference, FORTE 2022, held as part of the 17th international federated conference on distributed computing techniques, DisCoTec 2022, Lucca, Italy, June 13--17, 2022. Proceedings
description: scientific article