Derrick - Formal Techniques for Networked and Distributed Systems - Fo - X555z

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

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

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

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

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

Formal Techniques for Networked and Distributed Systems - Forte 2002 : 22nd I...

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