International Conference on Formal Techniques for Distributed Objects, Components, and Systems (2022 :)

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-18, 2022 : proceedings / by: International Conference on Formal Techniques for Distributed Objects, Components, and Systems (2022 :); Mousavi, Mohammad Reza.; Philippou, Anna.; SpringerLink (Online service); International Federated Conferences on Distributed Computing Techniques (2022 :) (Electronic resources)