@inproceedings{8388, author = {{Heckel, Reiko and Cherchago, Alexey and Lohmann, Marc}}, booktitle = {{Proceedings of the First International Workshop on Web Services and Formal Methods (WSFM 2004), Pisa, Italy}}, pages = {{37--49}}, publisher = {{Elsevier}}, title = {{{A Formal Approach to Service Specification and Matching based on Graph Transformation}}}, doi = {{http://dx.doi.org/10.1016/j.entcs.2004.05.006}}, volume = {{105}}, year = {{2004}}, }