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

Protocol Test Systems VIII Proceedings of the IFIP WG6.1 TC6 Eigh

Formal Techniques for Networked and Distributed Systems - FORTE 2007: 27th IFIP

Performance and Management of Complex Communication Networks : Ifip Tc6/Wg6.3...

Distributed Applications and Interoperable Systems 24th IFIP WG 6

Performance and Management of Complex Communication Networks : Ifip Tc6/Wg6.3...