Yueshan Zheng, GuiMing Luo, Junbo Sun, Junjie Zhang, Zhenfeng Wang. PLC Modeling and Checking Based on Formal Method. JSEA, 3(11):1054-1059, 2010. [doi]
@article{ZhengLSZW10, title = {PLC Modeling and Checking Based on Formal Method}, author = {Yueshan Zheng and GuiMing Luo and Junbo Sun and Junjie Zhang and Zhenfeng Wang}, year = {2010}, doi = {10.4236/jsea.2010.311124}, url = {http://dx.doi.org/10.4236/jsea.2010.311124}, researchr = {https://researchr.org/publication/ZhengLSZW10}, cites = {0}, citedby = {0}, journal = {JSEA}, volume = {3}, number = {11}, pages = {1054-1059}, }