Yueshan Zheng

Publication Activity (10 Years)

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

Publications

Yueshan Zheng, Guiming Luo, Junbo Sun, Junjie Zhang, Zhenfeng Wang
PLC Modeling and Checking Based on Formal Method. J. Softw. Eng. Appl. 3 (11) (2010)