@INPROCEEDINGS{Ikbel1,
AUTHOR =       {Ikbel Krichen and Imen Loulou and Ahmed Hadj Kacem},
TITLE =        {{Formal Modeling of Behavioral Properties to Support
Correct by Design Publish/Subscribe Architectural
Styles}},
BOOKTITLE =    {Proceedings of the 6th International Conference on
Software and Data Technologies, ICSOFT 2011},
YEAR =         {2011},
pages =        {286--289},
address =      {Seville, Spain},
month =        {July},
doi = {10.5220/0003495402860289},
publisher =    {SciTePress Digital Library},
}