Verification of web service descriptions using graph-based traversal algorithms.

Nalaka Gooneratne, Zahir Tari, James Harland

Browse the full SAC paper archive.