Verifying OWL-S Service Process Models.

Yuzhang Feng, Markus Kirchberg

Browse the full ICWS paper archive.