%0 Conference Proceedings %T Dependence graphs for verifications of web service compositions with PEWS %+ Laboratoire d'Informatique Fondamentale et Appliquée de Tours (LIFAT) %A Ba, Cheikh %A Halfeld Ferrari Alves, Mirian %< avec comité de lecture %B Proceedings of the 2008 ACM Symposium on Applied Computing (SAC) %C Fortaleza, Brazil %P 2387-2391 %8 2008-03-16 %D 2008 %Z Computer Science [cs]/Databases [cs.DB] %Z Computer Science [cs]/WebConference papers %G English %L inria-00459420 %U https://inria.hal.science/inria-00459420 %~ UNIV-TOURS %~ CNRS %~ LIFAT %~ INSA-GROUPE %~ INSA-CVL %~ TEST3-HALCNRS