Formal Techniques for Distributed Systems : Joint IFIP WG 6.1 International C...

Formal Techniques for Distributed Systems: Joint 13th IFIP WG 6.1 International

Beyer - Formal Techniques for Distributed Systems Joint IFIP WG 6.1 - X555z

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

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

Distributed Applications and Interoperable Systems : 13th IFIP WG 6.1 Interna...

Formal Techniques for Distributed Systems: Joint 11th IFIP WG 6.1 International