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

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

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

Distributed Applications and Interoperable Systems: 7th IFIP WG 6.1 Internationa

Modeling and Estimation, Unknown

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

Data Communications for Distributed Information Systems, Dimitris N. Chorafas

Distributed Applications and Interoperable Systems: 8th IFIP WG 6.1 Internationa