@INPROCEEDINGS{SHA,
author = {Siwar Khelifi and Hatem Hadj Kacem and Ahmed Hadj Kacem},
title = {Specification and verification of the structural and
behavioural properties of Publish/Subscribe
architectures.},
booktitle = {Second International Workshop on Verification and
Evaluation of Computer and Communication Systems
(VECoS 2008),},
year = {2008},
owner = {Administrateur},
timestamp = {2009.12.06},
}