@inproceedings{ba:inria-00459420, TITLE = {{Dependence graphs for verifications of web service compositions with PEWS}}, AUTHOR = {Ba, Cheikh and Halfeld Ferrari Alves, Mirian}, URL = {https://inria.hal.science/inria-00459420}, BOOKTITLE = {{Proceedings of the 2008 ACM Symposium on Applied Computing (SAC)}}, ADDRESS = {Fortaleza, Brazil}, PAGES = {2387-2391}, YEAR = {2008}, MONTH = Mar, HAL_ID = {inria-00459420}, HAL_VERSION = {v1}, }