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 F...

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

Building QoS into Distributed Systems : IFIP TC6 WG6.1 Fifth International Wo...

Distributed Applications and Interoperable Systems 4th IFIP WG6.1

Formal Techniques for Distributed Objects, Components, and Systems: 43rd IFIP WG

Formal Methods for Open Object-Based Distributed Systems 9th IFIP