%0 Journal Article %1 journals/tsc/GaaloulBR10 %A Gaaloul, Walid %A Bhiri, Sami %A Rouached, Mohsen %D 2010 %J IEEE Trans. Serv. Comput. %K %N 1 %P 32-45 %T Event-Based Design and Runtime Verification of Composite Service Transactional Behavior. %U http://dblp.uni-trier.de/db/journals/tsc/tsc3.html#GaaloulBR10 %V 3

@article{journals/tsc/GaaloulBR10, added-at = {2023-12-14T15:09:28.000+0100}, author = {Gaaloul, Walid and Bhiri, Sami and Rouached, Mohsen}, biburl = {https://www.bibsonomy.org/bibtex/2ef617af9dea0b6e6e5fa18a15bc4c0b4/admin}, ee = {http://doi.ieeecomputersociety.org/10.1109/TSC.2010.1}, interhash = {e7dbcef4bf91a622289b2664beed6fca}, intrahash = {ef617af9dea0b6e6e5fa18a15bc4c0b4}, journal = {IEEE Trans. Serv. Comput.}, keywords = {}, number = 1, pages = {32-45}, timestamp = {2023-12-14T15:09:28.000+0100}, title = {Event-Based Design and Runtime Verification of Composite Service Transactional Behavior.}, url = {http://dblp.uni-trier.de/db/journals/tsc/tsc3.html#GaaloulBR10}, volume = 3, year = 2010 }