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
; ;
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.

Export

Marked Publications

Open Data LibreCat

Search this title in

Google Scholar