Manu De Backer. On the Verification of Web Services Compatibility: A Petri Net Approach. In Robert Meersman, Zahir Tari, Angelo Corsaro, editors, On the Move to Meaningful Internet Systems 2004: OTM 2004 Workshops: OTM Confederated International Workshops and Posters, GADA, JTRES, MIOS, WORM, WOSE, PhDS, and INTEROP 2004, Agia Napa, Cyprus, October 25-29, 2004. Proceedings. Volume 3292 of Lecture Notes in Computer Science, pages 810-821, Springer, 2004. [doi]
@inproceedings{Backer04,
title = {On the Verification of Web Services Compatibility: A Petri Net Approach},
author = {Manu De Backer},
year = {2004},
url = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3292&spage=810},
tags = {web service, web services, systematic-approach},
researchr = {https://researchr.org/publication/Backer04},
cites = {0},
citedby = {0},
pages = {810-821},
booktitle = {On the Move to Meaningful Internet Systems 2004: OTM 2004 Workshops: OTM Confederated International Workshops and Posters, GADA, JTRES, MIOS, WORM, WOSE, PhDS, and INTEROP 2004, Agia Napa, Cyprus, October 25-29, 2004. Proceedings},
editor = {Robert Meersman and Zahir Tari and Angelo Corsaro},
volume = {3292},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-23664-3},
}