Towards Trustworthy Composite Service Through Business Process Model Verification.

Wenjia Huai, Xudong Liu, Hailong Sun

Browse the full UIC paper archive.