Formal methods for open object-based distributed systems
7th IFIP WG 6.1 international conference : proceedings
Gespeichert in:
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)