Overview
Formal Techniques for Distributed Systems: Joint 13th Ifip Wg 6.1 International Conference, Fmoods 2011, and 30th Ifip Wg 6.1 International Conference
- | Author: Roberto Bruni
- | Publisher: Springer
- | Publication Date: May 26, 2011
- | Number of Pages: 349 pages
- | Binding: Paperback or Softback
- | ISBN-10: 3642214606
- | ISBN-13: 9783642214608