%0 Conference Paper %1 conf/iceccs/WangGSW09 %A Wang, Rui %A Gu, Ming %A Song, Xiaoyu %A Wan, Hai %B ICECCS %D 2009 %I IEEE Computer Society %K dblp %P 102-109 %T Formal Specification and Code Generation of Programable Logic Controllers. %U http://dblp.uni-trier.de/db/conf/iceccs/iceccs2009.html#WangGSW09 %@ 978-0-7695-3702-3

@inproceedings{conf/iceccs/WangGSW09, added-at = {2023-03-24T00:00:00.000+0100}, author = {Wang, Rui and Gu, Ming and Song, Xiaoyu and Wan, Hai}, biburl = {https://www.bibsonomy.org/bibtex/294a2f3e126ec4bc2da15b2e7f24f1363/dblp}, booktitle = {ICECCS}, crossref = {conf/iceccs/2009}, ee = {https://doi.ieeecomputersociety.org/10.1109/ICECCS.2009.41}, interhash = {05ca1eb6c62f5c96f80ac669a9311045}, intrahash = {94a2f3e126ec4bc2da15b2e7f24f1363}, isbn = {978-0-7695-3702-3}, keywords = {dblp}, pages = {102-109}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T08:30:56.000+0200}, title = {Formal Specification and Code Generation of Programable Logic Controllers.}, url = {http://dblp.uni-trier.de/db/conf/iceccs/iceccs2009.html#WangGSW09}, year = 2009 }