Model Checking for Web Service Flow Based on Annotated OWL-S.

Rujuan Liu, Changjun Hu, Chongchong Zhao

Browse the full SNPD paper archive.