Verifying Consistency of Web Services Behavior.

Yuyu Yin, Ying Li, ShuiGuang Deng, Wu Jian

Browse the full APSCC paper archive.