35262386
9783642385919
Beyer, Dirk is the author of '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,', published 2013 under ISBN 9783642385919 and ISBN 3642385915.
[read more]