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

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

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

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 Techniques for Distributed Systems: Joint IFIP WG 6.1 International Confe

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

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