by Hatem Hadj Kacem, Imen Loulou, Ahmed Hadj Kacem
Reference:
Hatem Hadj Kacem, Imen Loulou, Ahmed Hadj Kacem, A formal approach to model and verify the behavior of Publish/Subscribe architectural style, In International Journal of Information Technology, Communications and Convergence, Inderscience publishers, volume , 2012.
Bibtex Entry:
@ARTICLE{HHK2012IJITCC,
author = {Hatem Hadj Kacem and Imen Loulou and Ahmed Hadj Kacem},
title = {{A formal approach to model and verify the behavior of
Publish/Subscribe architectural style}},
journal = {International Journal of Information Technology,
Communications and Convergence, Inderscience
publishers},
year = {2012},
volume = {},
pages = {},
number = {},
}