Formal Techniques for Distributed Systems

Formal Techniques for Distributed Systems
Joint 14th IFIP WG 6.1 International Conference, FMOODS 2012
and 32nd IFIP WG 6.1 International Conference, FORTE 2012
Stockholm, Sweden, June 13-16, 2012