%0 Conference Paper %1 conf/eit/HeOA16 %A He, Nannan %A Oke, Victor %A Allen, Gale %B EIT %D 2016 %I IEEE %K dblp %P 211-216 %T Model-based verification of PLC programs using Simulink design. %U http://dblp.uni-trier.de/db/conf/eit/eit2016.html#HeOA16 %@ 978-1-4673-9985-2

@inproceedings{conf/eit/HeOA16, added-at = {2017-05-24T00:00:00.000+0200}, author = {He, Nannan and Oke, Victor and Allen, Gale}, biburl = {https://www.bibsonomy.org/bibtex/24c12290c4adb52322e23275dde06cc77/dblp}, booktitle = {EIT}, crossref = {conf/eit/2016}, ee = {https://doi.org/10.1109/EIT.2016.7535242}, interhash = {9b8d2aa348e36f7b35cfe5fe3c3e4708}, intrahash = {4c12290c4adb52322e23275dde06cc77}, isbn = {978-1-4673-9985-2}, keywords = {dblp}, pages = {211-216}, publisher = {IEEE}, timestamp = {2019-10-17T12:25:00.000+0200}, title = {Model-based verification of PLC programs using Simulink design.}, url = {http://dblp.uni-trier.de/db/conf/eit/eit2016.html#HeOA16}, year = 2016 }