48471650
9783319602240
Bouajjani, Ahmed is the author of 'Formal Techniques for Disributed 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, Switzerl', published 2017 under ISBN 9783319602240 and ISBN 3319602241.
[read more]