Nalaka Gooneratne, Zahir Tari, James Harland. Verification of web service descriptions using graph-based traversal algorithms. In Yookun Cho, Roger L. Wainwright, Hisham Haddad, Sung Y. Shin, Yong Wan Koo, editors, Proceedings of the 2007 ACM Symposium on Applied Computing (SAC), Seoul, Korea, March 11-15, 2007. pages 1385-1392, ACM, 2007. [doi]
@inproceedings{GooneratneTH07,
title = {Verification of web service descriptions using graph-based traversal algorithms},
author = {Nalaka Gooneratne and Zahir Tari and James Harland},
year = {2007},
doi = {10.1145/1244002.1244301},
url = {http://doi.acm.org/10.1145/1244002.1244301},
tags = {rule-based, traversal, web service, graph-rewriting, rewriting},
researchr = {https://researchr.org/publication/GooneratneTH07},
cites = {0},
citedby = {0},
pages = {1385-1392},
booktitle = {Proceedings of the 2007 ACM Symposium on Applied Computing (SAC), Seoul, Korea, March 11-15, 2007},
editor = {Yookun Cho and Roger L. Wainwright and Hisham Haddad and Sung Y. Shin and Yong Wan Koo},
publisher = {ACM},
isbn = {1-59593-480-4},
}