BAIER, Christel und CAIRES, Luís (Hrsg.). 1 st ed. 2018. Cham: Springer International Publishing. ISBN 9783319926124.

Baier, C., Caires, L. (Hrsg.), 2018. Formal Techniques for Distributed Objects, Components, and Systems : 38 th IFIP WG 6.1 International Conference, FORTE 2018, Held as Part of the 13 th International Federated Conference on Distributed Computing Techniques, Dis Co Tec 2018, Madrid, Spain, June 18-21, 2018, Proceedings, 1 st ed. 2018. ed, Programming and Software Engineering. Springer International Publishing, Cham. https://doi.org/10.1007/978-3-319-92612-4

Formal Techniques for Distributed Objects, Components, and Systems : 38 th IFIP WG 6.1 International Conference, FORTE 2018, Held as Part of the 13 th International Federated Conference on Distributed Computing Techniques, Dis Co Tec 2018, Madrid, Spain, June 18-21, 2018, Proceedings. (ca. 2018). [Cd]. In C. Baier & L. Caires (Hrsg.), Programming and Software Engineering (1 st ed. 2018). Springer International Publishing. https://doi.org/10.1007/978-3-319-92612-4

Baier C, Caires L (Hrsg.) (2018) Formal Techniques for Distributed Objects, Components, and Systems : 38 th IFIP WG 6.1 International Conference, FORTE 2018, Held as Part of the 13 th International Federated Conference on Distributed Computing Techniques, Dis Co Tec 2018, Madrid, Spain, June 18-21, 2018, Proceedings, 1 st ed. 2018. Springer International Publishing, Cham

Baier, Christel/ Caires, Luís (Hrsg.), Formal Techniques for Distributed Objects, Components, and Systems : 38 th IFIP WG 6.1 International Conference, FORTE 2018, Held as Part of the 13 th International Federated Conference on Distributed Computing Techniques, Dis Co Tec 2018, Madrid, Spain, June 18-21, 2018, Proceedings, 1 st ed. 2018 , Cham 2018.