26593157
9783642134630
Hatcliff, John is the author of 'Formal Techniques for Distributed Systems : Joint 12th IFIP WG 6. 1 International Conference, FMOODS 2010 and 30th IFIP WG 6. 1 International Conference, FORTE 2010, Amsterdam, the Netherlands, June 7-9, 2010, Proceedings', published 2010 under ISBN 9783642134630 and ISBN 3642134637.
[read more]