Formal Techniques for Distributed Systems: Proc./Joint 14th IFIP WG 6.1 International Conference, FMOODS 2012 and 32nd IFIP WG 6.1 International Conference, FORTE 2012, Stockholm, Sweden, June 2012

А3.54, Б2.2, В2.11.

Formal Techniques for Distributed Systems: Proc./Joint 14th IFIP WG 6.1 International Conference, FMOODS 2012 and 32nd IFIP WG 6.1 International Conference, FORTE 2012, Stockholm, Sweden, June 2012Ed. by Giese H., Rosu G..-Berlin.: Springer, 2012.-Vol. 7273.-269 p.-(Lecture Notes in Computer Science).