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

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

Distributed Applications and Interoperable Systems: 25th IFIP WG 6.1 Internation

Distributed Applications and Interoperable Systems : 7th IFIP WG 6.1 Internat...

Lee - Formal Techniques for Distributed Systems Joint 11th Ifip Wg 6. - X555z

Distributed Applications and Interoperable Systems: 26th IFIP WG 6.1 Internation

Najm - Formal Methods for Open Object-Based Distributed Systems 6th - X555z

Formal Techniques for Distributed Objects, Components, and Sy... - 9783031954962