Provider: Schloss Dagstuhl - Leibniz Center for Informatics
Database: dblp computer science bibliography
Content:text/plain; charset="utf-8"
TY - JOUR
ID - DBLP:journals/cii/WangSZG11
AU - Wang, Rui
AU - Song, Xiaoyu
AU - Zhu, Jianzhong
AU - Gu, Ming
TI - Formal modeling and synthesis of programmable logic controllers.
JO - Comput. Ind.
VL - 62
IS - 1
SP - 23
EP - 31
PY - 2011//
DO - 10.1016/J.COMPIND.2010.05.015
UR - https://doi.org/10.1016/j.compind.2010.05.015
ER -