Formal Techniques for Distributed Systems: Joint 13th IFIP WG 6.1 International Conference, FMOODS 2011 (and 30th IFIP WG 6.1 International Conference), Proceedings

Name: Formal Techniques for Distributed Systems: Joint 13th IFIP WG 6.1 International Conference, FMOODS 2011 (and 30th IFIP WG 6.1 International Conference), Proceedings
ISBN: 9783642214622

Roberto Bruni , Juergen Dingel