Formal Methods for Open Object-Based Distributed Systems: 9th IFIP WG 6.1 Intern

Formal Methods for Open Object-Based Distributed Systems : 6th Ifip Wg 6.1 In...

Formal Methods for Open Object-Based Distributed Systems: 10th Ifip Wg 6.1: New

Formal Methods for Open Object-Based Distributed Systems: 10th IFIP WG 6.1 Inter

Formal Methods for Open Object-Based Distributed Systems : 6th Ifip Wg 6.1 In...

Distributed Applications and Interoperable Systems: 8th IFIP WG 6.1 Internationa

Formal Techniques for Distributed Systems: Joint IFIP WG 6.1 International Confe

Formal Methods for Open Object-Based Distributed Systems: 6th IFIP WG 6.1 Intern