2016 | Buch
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
herausgegeben von: Elvira Albert, Ivan Lanese
Verlag: Springer International Publishing
Buchreihe : Lecture Notes in Computer Science