%0 Journal Article %1 journals/cii/WangSZG11 %A Wang, Rui %A Song, Xiaoyu %A Zhu, Jianzhong %A Gu, Ming %D 2011 %J Comput. Ind. %K dblp %N 1 %P 23-31 %T Formal modeling and synthesis of programmable logic controllers. %U http://dblp.uni-trier.de/db/journals/cii/cii62.html#WangSZG11 %V 62

@article{journals/cii/WangSZG11, added-at = {2020-02-18T00:00:00.000+0100}, author = {Wang, Rui and Song, Xiaoyu and Zhu, Jianzhong and Gu, Ming}, biburl = {https://www.bibsonomy.org/bibtex/2ea16a6e19821f8a7fc1755e9056318ea/dblp}, ee = {https://doi.org/10.1016/j.compind.2010.05.015}, interhash = {930158ab76b476811246fc1ebd771893}, intrahash = {ea16a6e19821f8a7fc1755e9056318ea}, journal = {Comput. Ind.}, keywords = {dblp}, number = 1, pages = {23-31}, timestamp = {2020-02-19T11:51:58.000+0100}, title = {Formal modeling and synthesis of programmable logic controllers.}, url = {http://dblp.uni-trier.de/db/journals/cii/cii62.html#WangSZG11}, volume = 62, year = 2011 }