{"publisher":"Elsevier","author":[{"first_name":"Reiko","last_name":"Heckel","full_name":"Heckel, Reiko"},{"last_name":"Cherchago","full_name":"Cherchago, Alexey","first_name":"Alexey"},{"first_name":"Marc","full_name":"Lohmann, Marc","last_name":"Lohmann"}],"year":"2004","intvolume":"       105","status":"public","date_created":"2019-03-06T11:28:54Z","citation":{"short":"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.","chicago":"Heckel, Reiko, Alexey Cherchago, and Marc Lohmann. “A Formal Approach to Service Specification and Matching Based on Graph Transformation.” In <i>Proceedings of the First International Workshop on Web Services and Formal Methods (WSFM 2004), Pisa, Italy</i>, 105:37–49. Elsevier, 2004. <a href=\"http://dx.doi.org/10.1016/j.entcs.2004.05.006\">http://dx.doi.org/10.1016/j.entcs.2004.05.006</a>.","bibtex":"@inproceedings{Heckel_Cherchago_Lohmann_2004, title={A Formal Approach to Service Specification and Matching based on Graph Transformation}, volume={105}, DOI={<a href=\"http://dx.doi.org/10.1016/j.entcs.2004.05.006\">http://dx.doi.org/10.1016/j.entcs.2004.05.006</a>}, 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} }","apa":"Heckel, R., Cherchago, A., &#38; Lohmann, M. (2004). A Formal Approach to Service Specification and Matching based on Graph Transformation. In <i>Proceedings of the First International Workshop on Web Services and Formal Methods (WSFM 2004), Pisa, Italy</i> (Vol. 105, pp. 37–49). Elsevier. <a href=\"http://dx.doi.org/10.1016/j.entcs.2004.05.006\">http://dx.doi.org/10.1016/j.entcs.2004.05.006</a>","ama":"Heckel R, Cherchago A, Lohmann M. A Formal Approach to Service Specification and Matching based on Graph Transformation. In: <i>Proceedings of the First International Workshop on Web Services and Formal Methods (WSFM 2004), Pisa, Italy</i>. Vol 105. Elsevier; 2004:37-49. doi:<a href=\"http://dx.doi.org/10.1016/j.entcs.2004.05.006\">http://dx.doi.org/10.1016/j.entcs.2004.05.006</a>","mla":"Heckel, Reiko, et al. “A Formal Approach to Service Specification and Matching Based on Graph Transformation.” <i>Proceedings of the First International Workshop on Web Services and Formal Methods (WSFM 2004), Pisa, Italy</i>, vol. 105, Elsevier, 2004, pp. 37–49, doi:<a href=\"http://dx.doi.org/10.1016/j.entcs.2004.05.006\">http://dx.doi.org/10.1016/j.entcs.2004.05.006</a>.","ieee":"R. Heckel, A. Cherchago, and M. Lohmann, “A Formal Approach to Service Specification and Matching based on Graph Transformation,” in <i>Proceedings of the First International Workshop on Web Services and Formal Methods (WSFM 2004), Pisa, Italy</i>, 2004, vol. 105, pp. 37–49."},"user_id":"52534","volume":105,"department":[{"_id":"66"}],"_id":"8388","title":"A Formal Approach to Service Specification and Matching based on Graph Transformation","language":[{"iso":"eng"}],"publication":"Proceedings of the First International Workshop on Web Services and Formal Methods (WSFM 2004), Pisa, Italy","type":"conference","date_updated":"2022-01-06T07:03:54Z","page":"37-49","doi":"http://dx.doi.org/10.1016/j.entcs.2004.05.006"}