FORTE Madrid, DisCoTec, 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. https://doi.org/10.1007/978-3-319-92612-4
Chicago-Zitierstil (17. Ausg.)FORTE Madrid, DisCoTec, 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. https://doi.org/10.1007/978-3-319-92612-4.
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. https://doi.org/10.1007/978-3-319-92612-4.