Lin-Zhang Wang

Publication Activity (10 Years)

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

Publications

Dianxiang Xu, Omar el Ariss, Weifeng Xu, Lin-Zhang Wang
Aspect-Oriented Modeling and Verification with Finite State Machines. J. Comput. Sci. Technol. 24 (5) (2009)