%0 Conference Paper %1 conf/sies/WangGSZ08 %A Wang, Rui %A Gu, Ming %A Song, Xiaoyu %A Zhang, Hehua %B SIES %D 2008 %I IEEE %K dblp %P 225-228 %T Verifying programmable logic controllers with abstraction. %U http://dblp.uni-trier.de/db/conf/sies/sies2008.html#WangGSZ08 %@ 978-1-4244-1995-1

@inproceedings{conf/sies/WangGSZ08, added-at = {2017-08-21T00:00:00.000+0200}, author = {Wang, Rui and Gu, Ming and Song, Xiaoyu and Zhang, Hehua}, biburl = {https://www.bibsonomy.org/bibtex/2d132fef74bef755150cabf1bb3a45c1b/dblp}, booktitle = {SIES}, crossref = {conf/sies/2008}, ee = {https://doi.org/10.1109/SIES.2008.4577704}, interhash = {a24e4d73b3dbd3d3a353fb3a349a607c}, intrahash = {d132fef74bef755150cabf1bb3a45c1b}, isbn = {978-1-4244-1995-1}, keywords = {dblp}, pages = {225-228}, publisher = {IEEE}, timestamp = {2019-10-17T22:01:43.000+0200}, title = {Verifying programmable logic controllers with abstraction.}, url = {http://dblp.uni-trier.de/db/conf/sies/sies2008.html#WangGSZ08}, year = 2008 }