Suzuki - Formal Techniques for Networked and Distributed Systems - FOR - X555z

Frutos-Escrig - Formal Techniques for Networked and Distributed System - X555z

Albert - Formal Techniques for Distributed Objects Components and Sy - X555z

Peters - Formal Techniques for Distributed Objects Components and Sy - X555z

Graf - Formal Techniques for Distributed Objects Components and Syst - X555z

Formal Techniques for Networked and Distributed Systems - Forte 2008: 28th Ifip

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

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