Formal Methods for Open Object-based Distributed Systems V : Ifip Tc6/Wg6.1 F...

Formal Methods for Open Object-Based Distributed Systems V: Ifip Tc6 / Wg6.1-,

Formal Methods for Open Object-Based Distributed Systems V: IFIP TC6 / WG6.1 Fif

Formal Methods for Distributed System Development: FORTE / PSTV 2000 IFIP TC6 WG

Distributed Applications and Interoperable Systems II : Ifip Tc6 Wg6.1 Intern...

Formal Methods for Open Object-Based Distributed Systems IV : Ifip Tc6/Wg6.1 ...

Formal Methods for Open Object-Based Distributed Systems : Ifip Tc6/Wg6.1 Thi...