FORTE Heraklion & Albert, E. (2016). Formal techniques for distributed objects, components, and systems: 36th IFIP WG 6.1 International Conference, FORTE 2016, held as part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016: proceedings. Springer. https://doi.org/10.1007/978-3-319-39570-8
Chicago-Zitierstil (17. Ausg.)FORTE Heraklion und Elvira Albert. Formal Techniques for Distributed Objects, Components, and Systems: 36th IFIP WG 6.1 International Conference, FORTE 2016, Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016: Proceedings. [Cham]: Springer, 2016. https://doi.org/10.1007/978-3-319-39570-8.
MLA-Zitierstil (9. Ausg.)FORTE Heraklion und Elvira Albert. Formal Techniques for Distributed Objects, Components, and Systems: 36th IFIP WG 6.1 International Conference, FORTE 2016, Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016: Proceedings. Springer, 2016. https://doi.org/10.1007/978-3-319-39570-8.