Haojun Di

According to our database, Haojun Di authored at least 2 papers in 2011.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2011

Model Checking for Asynchronous Web Service Composition Based on XYZ/ADL.

Guangquan Zhang, Huijuan Shi, Mei Rong, Haojun Di

Proceedings of the Web Information Systems and Mining - International Conference, 2011

Specification and Verification of Data and Time in Web Service Composition.

Guangquan Zhang, Haojun Di, Mei Rong, Huijuan Shi

Proceedings of the Web Information Systems and Mining - International Conference, 2011