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 (1st Edition 2018.). Springer Nature. https://doi.org/10.1007/978-3-319-92612-4
Chicago Style (17th ed.) CitationBaier, Christel, and Luis 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. 1st Edition 2018. Netherlands: Springer Nature, 2018. https://doi.org/10.1007/978-3-319-92612-4.
MLA (9th ed.) CitationBaier, Christel, and Luis 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. 1st Edition 2018. Springer Nature, 2018. https://doi.org/10.1007/978-3-319-92612-4.