Formal Techniques for Distributed Systems - 9783642214608

Formal Techniques for Distributed Systems - 9783642385919

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

Formal Techniques for Distributed Systems Lecture Notes in Computer Science, Ban

Giese - Formal Techniques for Distributed Systems Joint 14th IFIP WG - X555z

Formal Techniques for Distributed Objects, Components, and Systems : 42nd IFI...

Formal Techniques for Networked and Distributed Systems - FORTE 2002: 22nd IFIP

Formal Techniques for Networked and Distributed Systems - Forte 2007: 27th Ifip