Formal Methods for Open Object-Based Distributed Systems
Subtitle: 9th IFIP WG 6. 1 International Conference, FMOODS 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings
Publisher: Springer London, Limited
Published: 2007
Language: eng
ISBN-13: 9783540729525