FORTE Madrid, Baier, C., & Caires, L. (2018). Formal techniques for distributed objects, components, and systems: 38th IFIP WG 6.1 international conference, FORTE 2018, held as part of the 13th international federated conference on distributed computing techniques, DisCoTec 2018, Madrid, Spain, June 18-21, 2018 : proceedings. Springer.
Chicago-Zitierstil (17. Ausg.)FORTE Madrid, Christel Baier, und Luís Caires. Formal Techniques for Distributed Objects, Components, and Systems: 38th IFIP WG 6.1 International Conference, FORTE 2018, Held as Part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018, Madrid, Spain, June 18-21, 2018 : Proceedings. [Cham]: Springer, 2018.
MLA-Zitierstil (9. Ausg.)FORTE Madrid, et al. Formal Techniques for Distributed Objects, Components, and Systems: 38th IFIP WG 6.1 International Conference, FORTE 2018, Held as Part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018, Madrid, Spain, June 18-21, 2018 : Proceedings. Springer, 2018.