Formal Techniques for Distributed Objects, Components, and Systems : 45 th IFIP WG 6.1 International Conference, FORTE 2025, Held as Part of the 20 th International Federated Conference on Distributed Computing Techniques, Dis Co Tec 2025, Lille, France, June 16–20, 2025, Proceedings. [ca. 2025]. In C. Ferreira & C. A. Mezzina (Hrsg.), Lecture Notes in Computer Science (1 st ed. 2025) [Cd]. Cham: Springer Nature Switzerland. https://doi.org/10.1007/978-3-031-95497-9

FERREIRA, Carla und MEZZINA, Claudio Antares (Hrsg.). 1 st ed. 2025. Cham: Springer Nature Switzerland. ISBN 9783031954979.

Ferreira, C., und C. A. Mezzina, Herausgeber. „Formal Techniques for Distributed Objects, Components, and Systems : 45 th IFIP WG 6.1 International Conference, FORTE 2025, Held as Part of the 20 th International Federated Conference on Distributed Computing Techniques, Dis Co Tec 2025, Lille, France, June 16–20, 2025, Proceedings“. Lecture Notes in Computer Science, 1 st ed. 2025, cd, Springer Nature Switzerland, 2025, https://doi.org/10.1007/978-3-031-95497-9.

: Formal Techniques for Distributed Objects, Components, and Systems : 45 th IFIP WG 6.1 International Conference, FORTE 2025, Held as Part of the 20 th International Federated Conference on Distributed Computing Techniques, Dis Co Tec 2025, Lille, France, June 16–20, 2025, Proceedings, 1 st ed. 2025. Aufl. Cham 2025.

Ferreira, C. und Mezzina, C.A. (Hrsg.). (2025), Formal Techniques for Distributed Objects, Components, and Systems : 45 th IFIP WG 6.1 International Conference, FORTE 2025, Held as Part of the 20 th International Federated Conference on Distributed Computing Techniques, Dis Co Tec 2025, Lille, France, June 16–20, 2025, Proceedings, Lecture Notes in Computer Science, 1 st ed. 2025., Bd. , Springer Nature Switzerland, Cham, verfügbar unter:https://doi.org/10.1007/978-3-031-95497-9.