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

Formal Methods for Open Object-Based Distributed Systems V by Bart Jacobs (Engli

Formal Methods for Open Object-based Distributed Systems: Volume 2 by Howard Bow

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

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

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

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