Formal methods for open object based distributed systems 8th IFIP WG 6.1 International Conference, FMOODS 2006, Bologna, Italy, June 14 - 16, 2006 ; proceedings (Springer, 2006)
Literaturangaben