A Formal Approach to Service Specification and Matching based on Graph Transformation
R. Heckel, A. Cherchago, M. Lohmann, in: Proceedings of the First International Workshop on Web Services and Formal Methods (WSFM 2004), Pisa, Italy, Elsevier, 2004, pp. 37–49.
Download
No fulltext has been uploaded.
Conference Paper
| English
Author
Heckel, Reiko;
Cherchago, Alexey;
Lohmann, Marc
Department
Publishing Year
Proceedings Title
Proceedings of the First International Workshop on Web Services and Formal Methods (WSFM 2004), Pisa, Italy
Volume
105
Page
37-49
LibreCat-ID
Cite this
Heckel R, Cherchago A, Lohmann M. A Formal Approach to Service Specification and Matching based on Graph Transformation. In: Proceedings of the First International Workshop on Web Services and Formal Methods (WSFM 2004), Pisa, Italy. Vol 105. Elsevier; 2004:37-49. doi:http://dx.doi.org/10.1016/j.entcs.2004.05.006
Heckel, R., Cherchago, A., & Lohmann, M. (2004). A Formal Approach to Service Specification and Matching based on Graph Transformation. In Proceedings of the First International Workshop on Web Services and Formal Methods (WSFM 2004), Pisa, Italy (Vol. 105, pp. 37–49). Elsevier. http://dx.doi.org/10.1016/j.entcs.2004.05.006
@inproceedings{Heckel_Cherchago_Lohmann_2004, title={A Formal Approach to Service Specification and Matching based on Graph Transformation}, volume={105}, DOI={http://dx.doi.org/10.1016/j.entcs.2004.05.006}, booktitle={Proceedings of the First International Workshop on Web Services and Formal Methods (WSFM 2004), Pisa, Italy}, publisher={Elsevier}, author={Heckel, Reiko and Cherchago, Alexey and Lohmann, Marc}, year={2004}, pages={37–49} }
Heckel, Reiko, Alexey Cherchago, and Marc Lohmann. “A Formal Approach to Service Specification and Matching Based on Graph Transformation.” In Proceedings of the First International Workshop on Web Services and Formal Methods (WSFM 2004), Pisa, Italy, 105:37–49. Elsevier, 2004. http://dx.doi.org/10.1016/j.entcs.2004.05.006.
R. Heckel, A. Cherchago, and M. Lohmann, “A Formal Approach to Service Specification and Matching based on Graph Transformation,” in Proceedings of the First International Workshop on Web Services and Formal Methods (WSFM 2004), Pisa, Italy, 2004, vol. 105, pp. 37–49.
Heckel, Reiko, et al. “A Formal Approach to Service Specification and Matching Based on Graph Transformation.” Proceedings of the First International Workshop on Web Services and Formal Methods (WSFM 2004), Pisa, Italy, vol. 105, Elsevier, 2004, pp. 37–49, doi:http://dx.doi.org/10.1016/j.entcs.2004.05.006.
Google Scholar