Suchergebnisse für "Ahmed Bouajjani/Alexandra Silva"

Formal Techniques for Distributed Objects, Components, and Systems

37th IFIP WG 6.1 International Conference, FORTE 2017, Held as Part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017, Neuchâtel, Switzerland, June 19-22,2017, Proceedings, Lecture Notes in Computer Sci

Ahmed Bouajjani/Alexandra Silva

Springer Verlag GmbH