%0 Journal Article %1 journals/cii/ZhouWWSSGS13 %A Zhou, Min %A Wan, Hai %A Wang, Rui %A Song, Xiaoyu %A Su, Chen %A Gu, Ming %A Sun, Jiaguang %D 2013 %J Comput. Ind. %K dblp %N 8 %P 1022-1034 %T Formal component-based modeling and synthesis for PLC systems. %U http://dblp.uni-trier.de/db/journals/cii/cii64.html#ZhouWWSSGS13 %V 64

@article{journals/cii/ZhouWWSSGS13, added-at = {2023-03-09T00:00:00.000+0100}, author = {Zhou, Min and Wan, Hai and Wang, Rui and Song, Xiaoyu and Su, Chen and Gu, Ming and Sun, Jiaguang}, biburl = {https://www.bibsonomy.org/bibtex/2023fc671f7eef25d7eb31a07a2c4174c/dblp}, ee = {https://doi.org/10.1016/j.compind.2013.07.003}, interhash = {70ca724abebdcce3b482f9f0bb50995f}, intrahash = {023fc671f7eef25d7eb31a07a2c4174c}, journal = {Comput. Ind.}, keywords = {dblp}, number = 8, pages = {1022-1034}, timestamp = {2024-04-08T17:02:39.000+0200}, title = {Formal component-based modeling and synthesis for PLC systems.}, url = {http://dblp.uni-trier.de/db/journals/cii/cii64.html#ZhouWWSSGS13}, volume = 64, year = 2013 }