by Siwar Khelifi, Hatem Hadj Kacem, Ahmed Hadj Kacem
Reference:
Siwar Khelifi, Hatem Hadj Kacem, Ahmed Hadj Kacem, Specification and verification of the structural and behavioural properties of Publish/Subscribe architectures., In Second International Workshop on Verification and Evaluation of Computer and Communication Systems (VECoS 2008),, 2008.
Bibtex Entry:
@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},
}