Formal methods for open object-based distributed systems

7th IFIP WG 6.1 international conference : proceedings

Verfasser / Beitragende:
FMOODS 2005, Athens, Greece, June 15-17, 2005 ; Martin Steffen ... [et al.] (eds.)
Ort, Verlag, Jahr:
Berlin : Springer, 2005
Beschreibung:
321 S. : Ill.
Format:
Buch (Kongress)
ID: 161507085