Hatem Hadj Kacem, Imen Loulou, Ahmed Hadj Kacem. A formal approach to model and verify the behaviour of publish/subscribe architectural style. IJITCC, 2(3):234-252, 2012. [doi]
@article{KacemLK12, title = {A formal approach to model and verify the behaviour of publish/subscribe architectural style}, author = {Hatem Hadj Kacem and Imen Loulou and Ahmed Hadj Kacem}, year = {2012}, doi = {10.1504/IJITCC.2012.050412}, url = {http://dx.doi.org/10.1504/IJITCC.2012.050412}, researchr = {https://researchr.org/publication/KacemLK12}, cites = {0}, citedby = {0}, journal = {IJITCC}, volume = {2}, number = {3}, pages = {234-252}, }