Haojun Di

Publication Activity (10 Years)

Years Active: 2011-2011
Publications (10 Years): 0

Publications

Guangquan Zhang, Huijuan Shi, Mei Rong, Haojun Di
Model Checking for Asynchronous Web Service Composition Based on XYZ/ADL. WISM (2) (2011)
Guangquan Zhang, Haojun Di, Mei Rong, Huijuan Shi
Specification and Verification of Data and Time in Web Service Composition. WISM (2) (2011)