Suchergebnisse für "Susanne Graf/Mahesh Viswanathan"

Formal Techniques for Distributed Objects, Components, and Systems

35th IFIP WG 6.1 International Conference, FORTE 2015, Held as Part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015, Grenoble, France, June 2-4,2015, Proceedings, Lecture Notes in Computer Science 903

Susanne Graf/Mahesh Viswanathan

Springer Verlag GmbH