Suchergebnisse für "Dirk Beyer/Michele Boreale"

Formal Techniques for Distributed Systems

Joint IFIP WG 6.1 International Conferences, FMOODS 2013 and FORTE 2013, Held as Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Florence, Italy, June 3-5,2013, Proceedings - Lecture Notes in Com

Dirk Beyer/Michele Boreale

Springer Verlag GmbH