Formal Techniques for Distributed Objects, Components, and Systems, Ahmed Bouajj

Formal Techniques for Distributed Objects, Components, and Systems, Christel Bai

Formal Techniques for Distributed Objects, Components, and Systems, Susanne Graf

Formal Methods for Protocol Engineering and Distributed Systems: Forte Xii/Pstv

Formal Techniques for Networked and Distributed Systems - FORTE 2006: 26th IFIP

Formal Techniques for Distributed Systems: Joint 13th Ifip Wg 6.1 International

Computer Networks and Distributed Processing, Software, Techniques, Architecture

Formal Techniques for Distributed Systems: Joint 12th Ifip Wg 6.1 International