Lin-Zhang Wang

According to our database, Lin-Zhang Wang authored at least 1 paper in 2009.

Collaborative distances:

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

2009

Aspect-Oriented Modeling and Verification with Finite State Machines.

Dianxiang Xu, Omar el Ariss, Weifeng Xu, Lin-Zhang Wang

J. Comput. Sci. Technol., 2009