%0 Conference Paper %1 conf/otm/GaaloulRGH07 %A Gaaloul, Walid %A Rouached, Mohsen %A Godart, Claude %A Hauswirth, Manfred %B OTM Conferences (1) %D 2007 %E Meersman, Robert %E Tari, Zahir %I Springer %K %P 353-370 %T Verifying Composite Service Transactional Behavior Using Event Calculus. %U http://dblp.uni-trier.de/db/conf/otm/otm2007-1.html#GaaloulRGH07 %V 4803 %@ 978-3-540-76846-3

@inproceedings{conf/otm/GaaloulRGH07, added-at = {2023-12-12T21:17:13.000+0100}, author = {Gaaloul, Walid and Rouached, Mohsen and Godart, Claude and Hauswirth, Manfred}, biburl = {https://www.bibsonomy.org/bibtex/2501be7d9d822f3ee78edc5e3205918ff/admin}, booktitle = {OTM Conferences (1)}, crossref = {conf/otm/2007-1}, editor = {Meersman, Robert and Tari, Zahir}, ee = {https://doi.org/10.1007/978-3-540-76848-7_23}, interhash = {3be386f808695d4bd190c6c1a9e5514c}, intrahash = {501be7d9d822f3ee78edc5e3205918ff}, isbn = {978-3-540-76846-3}, keywords = {}, pages = {353-370}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2023-12-12T21:17:13.000+0100}, title = {Verifying Composite Service Transactional Behavior Using Event Calculus.}, url = {http://dblp.uni-trier.de/db/conf/otm/otm2007-1.html#GaaloulRGH07}, volume = 4803, year = 2007 }