Formal techniques for distributed objects, components, and systems : 41st IFIP WG 6.1 international conference, FORTE 2021 : held as part of the 16th International Federated Conference on Distributed Computing Techniques, DisCoTec 2021, Valletta, Malta, June 14-18, 2021 : proceedings / Kirstin Peters, Tim A.C. Willemse (eds.)
This book constitutes the refereed proceedings of the 41st IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems, FORTE 2021, held in Valletta, Malta, in June 2021, as part of the 16th International Federated Conference on Distributed Computing Te...
Saved in:
| Online Access: |
Full Text (via Springer) |
|---|---|
| Corporate Authors: | , |
| Other Authors: | , |
| Other title: | FORTE 2021. |
| Format: | Conference Proceeding eBook |
| Language: | English |
| Published: |
Cham :
Springer,
[2021]
|
| Series: | Lecture notes in computer science ;
12719. LNCS sublibrary. Programming and software engineering. |
| Subjects: |
Internet
Full Text (via Springer)Online
| Call Number: |
QA76.9.D5 .F67 2021
|
|---|---|
| QA76.9.D5 .F67 2021 | Available |