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

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

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

Formal Techniques for Distributed Objects, Components, and Systems, Elvira Alber

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

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

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

Formal Description Techniques and Protocol Specification: Forte Xi/Pstv XVIII &#