Formal methods for open object based distributed systems 10th IFIP WG 6.1 international conference, FMOODS 2008, Oslo, Norway, June 4 - 6, 2008 ; proceedings (Springer, 2008)
Literaturangaben