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

Joseph - Formal Techniques in Real-Time and Fault-Tolerant Systems P - X555z

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