Formal Techniques for Distributed Objects, Components, and Systems
Subtitle: 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
Publisher: Springer
Published: 2016
Language: eng
Number of pages: 275
ISBN-13: 9783319395708