Luo Xiangyu

General Catchment Delineation Method and its Application into the Middle Route Project of China’s South-to-North Water Diversion

Bai Wei, Lei Xiaohui, Wang Yuhui, 2010 .

Verification of Web Services Based on MAS Model Checking and Abstraction

Luo Xiangyu, Xu Xingwang, Xu Xingwang, 2015 .