Article Takedown/Update Request

This is an update request for the document knowledge-theoretic approach to formal verification of web services protocols by Yao Guoxiang, Chen Qingliang, Liu Chanjuan and Yang Zhuolin

Your paper was deposited in Institute Of Software, Chinese Academy Of Sciences and appears online at
Before we are able to make any updates or deletions, you must ensure that the original record at this location is updated/removed.