Formal Methods for Open Object-based Distributed Systems : 8th Ifip Wg 6.1 International Conference, Fmoods 2006, Bologna, Italy, June 14-16, 2006, Proceedings
ISBN: 9783540348955
Information Available:
Summary
Copyright held by Baker & Taylor.