Formal techniques for distributed objects, components, and systems. 43rd IFIP WG 6.1 international conference, FORTE 2023, held as part of the 18th international federated conference on distributed computing techniques, DisCoTec 2023, Lisbon, Portugal, June 19--23, 2023. Proceedings (Q6171529)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Formal techniques for distributed objects, components, and systems. 43rd IFIP WG 6.1 international conference, FORTE 2023, held as part of the 18th international federated conference on distributed computing techniques, DisCoTec 2023, Lisbon, Portugal, Ju |
scientific article; zbMATH DE number 7725973
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Formal techniques for distributed objects, components, and systems. 43rd IFIP WG 6.1 international conference, FORTE 2023, held as part of the 18th international federated conference on distributed computing techniques, DisCoTec 2023, Lisbon, Portugal, June 19--23, 2023. Proceedings |
scientific article; zbMATH DE number 7725973 |
Statements
Formal techniques for distributed objects, components, and systems. 43rd IFIP WG 6.1 international conference, FORTE 2023, held as part of the 18th international federated conference on distributed computing techniques, DisCoTec 2023, Lisbon, Portugal, June 19--23, 2023. Proceedings (English)
0 references
12 August 2023
0 references
