%0 Journal Article %1 journals/corr/abs-1111-2824 %A Vaz, Cátia %A Ferreira, Carla %D 2011 %J CoRR %K %T Towards Automated Verification of Web Services %U http://dblp.uni-trier.de/db/journals/corr/corr1111.html#abs-1111-2824 %V abs/1111.2824

@article{journals/corr/abs-1111-2824, added-at = {2023-12-12T17:53:17.000+0100}, author = {Vaz, Cátia and Ferreira, Carla}, biburl = {https://www.bibsonomy.org/bibtex/2a334035f6b70a98046b0374a12ea0047/admin}, ee = {http://arxiv.org/abs/1111.2824}, interhash = {0a3e7ed78cd7c4658d44508df8933861}, intrahash = {a334035f6b70a98046b0374a12ea0047}, journal = {CoRR}, keywords = {}, timestamp = {2023-12-12T17:53:17.000+0100}, title = {Towards Automated Verification of Web Services}, url = {http://dblp.uni-trier.de/db/journals/corr/corr1111.html#abs-1111-2824}, volume = {abs/1111.2824}, year = 2011 }