Formal Description Techniques, VI: Proceedings of the Ifip Tc6/Wg6.1 Sixth Inter

Protocol Test Systems, V: Proceedings of the Ifip Tc6/Wg6.1 Fifth Working Confer

Formal Methods for Open Object-Based Distributed Systems: 8th Ifip Wg 6.1 Intern

Formal Methods for Open Object-Based Distributed Systems: 6th Ifip Wg 6.1 Intern

Formal Methods for Open Object-Based Distributed Systems: 10th IFIP WG 6.1 Inter

Telecommunication Network Intelligence: Ifip Tc6/Wg6.7 Sixth International Confe

High Performance Networking, IV: Proceedings of the Ifip Tc6/Wg6.4 Fourth Intern

Formal Methods for Open Object-based Distributed Systems: 9th Ifip Wg 6.1 Intern