Formal Methods for Open Object-Based Distributed Systems
Subtitle: 7th IFIP WG 6. 1 International Conference, FMOODS 2005, Athens, Greece, June 15-17, 2005, Proceedings
Publisher: Springer London, Limited
Published: 2005
Language: eng
ISBN-13: 9783540315568