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

Descriptional Complexity of Formal Systems 23rd IFIP WG 1.02 Inte

Distributed Applications and Interoperable Systems 4th IFIP WG6.1

Formal Techniques for Distributed Objects, Components, and Systems: 42nd IFIP WG

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

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

Formal Techniques for Distributed Objects, Components, and Systems: 46th IFIP WG

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