Overview
Book details: Formal Techniques for Distributed Systems: Joint 14th Ifip Wg 6.1 International Conference, Fmoods 2012 and 32nd Ifip Wg 6.1 International Conference, by author Holger Giese, Published by Springer, in Paperback or Softback binding, 269 pages, ISBN 9783642307928