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

Derrick - Formal Techniques for Networked and Distributed Systems - Fo - 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

Prez - Formal Techniques for Distributed Objects Components and Sys - X555z

Banks - Estimation Techniques for Distributed Parameter Systems - New - X555z