%0 Journal Article %1 journals/tc/ZhangJHSGS14 %A Zhang, Hehua %A Jiang, Yu %A Hung, William N. N. %A Song, Xiaoyu %A Gu, Ming %A Sun, Jia-Guang %D 2014 %J IEEE Trans. Computers %K dblp %N 10 %P 2563-2575 %T Symbolic Analysis of Programmable Logic Controllers. %U http://dblp.uni-trier.de/db/journals/tc/tc63.html#ZhangJHSGS14 %V 63

@article{journals/tc/ZhangJHSGS14, added-at = {2015-12-22T00:00:00.000+0100}, author = {Zhang, Hehua and Jiang, Yu and Hung, William N. N. and Song, Xiaoyu and Gu, Ming and Sun, Jia-Guang}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/20460c1082b09fd75302d861fbc82ca60/dblp}, ee = {http://doi.ieeecomputersociety.org/10.1109/TC.2013.124}, interhash = {8b78b8bca5aa35e7487a5dfb29e59d14}, intrahash = {0460c1082b09fd75302d861fbc82ca60}, journal = {IEEE Trans. Computers}, keywords = {dblp}, number = 10, pages = {2563-2575}, timestamp = {2016-02-02T02:34:43.000+0100}, title = {Symbolic Analysis of Programmable Logic Controllers.}, url = {http://dblp.uni-trier.de/db/journals/tc/tc63.html#ZhangJHSGS14}, volume = 63, year = 2014 }