Formal Techniques for Networked and Distributed Systems FORTE 2008: 28th IFIP WG

Formal Techniques for Distributed Systems - 9783642307928

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

Formal Techniques for Networked and Distributed Systems - FORTE 2007: 27th IFIP

Formal Techniques for Distributed Systems - 9783642385919

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

Formal Techniques for Distributed Systems - 9783642214608

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