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, Jun

MLA

Mousavi, Mohammad Reza, and Anna Philippou. 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, Jun. Cham: Springer International Publishing AG, 2022.

APA

Mousavi, M. Reza, & Philippou, A. (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, Jun. Cham: Springer International Publishing AG.

Chicago

Mousavi, Mohammad Reza., and Anna Philippou. 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, Jun. Cham: Springer International Publishing AG, 2022.