Cite
APA Citation
Albert, E., & Lanese, I. (Eds.) (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. Cham : Springer. http://access.bl.uk/ark:/81055/vdc_100072147481.0x000001