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

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

Formal Techniques for Networked and Distributed Systems, Forte 2003 : 23rd If...

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

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

Formal Techniques for Networked and Distributed Systems - Forte 2005: 25th Ifip

Formal Techniques for Networked and Distributed Systems - Forte 2006: 26th Ifip

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