APA Style

Mousavi, Mohammad Reza, Philippou, Anna. (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–17, 2022, Proceedings (1). Switzerland: Springer Cham.

Chicago Style

Mousavi, Mohammad Reza, Philippou, Anna. 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. 1 Switzerland: Springer Cham, 2022. Electronic Resource.

MLA Style

Mousavi, Mohammad Reza, Philippou, Anna. 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. 1 Switzerland: Springer Cham, 2022. Electronic Resource.

Turabian Style

Mousavi, Mohammad Reza, Philippou, Anna. 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. 1 Switzerland: Springer Cham, 2022. Electronic Resource.