%0 Conference Paper %1 conf/icnsc/ChenZHQ10 %A Chen, Hui %A Zhou, Chunjie %A Huang, Xiongfeng %A Qing, Yuanqing %B ICNSC %D 2010 %I IEEE %K dblp %P 441-446 %T Formal specification and verification of reconfigurable protocol stack for networked control system. %U http://dblp.uni-trier.de/db/conf/icnsc/icnsc2010.html#ChenZHQ10 %@ 978-1-4244-6450-0

@inproceedings{conf/icnsc/ChenZHQ10, added-at = {2011-08-30T00:00:00.000+0200}, author = {Chen, Hui and Zhou, Chunjie and Huang, Xiongfeng and Qing, Yuanqing}, biburl = {https://www.bibsonomy.org/bibtex/2a757328a51e133effd5e1207ef2f1506/dblp}, booktitle = {ICNSC}, crossref = {conf/icnsc/2010}, ee = {http://dx.doi.org/10.1109/ICNSC.2010.5461620}, interhash = {665170b8764ee94a5e2f2918688663a2}, intrahash = {a757328a51e133effd5e1207ef2f1506}, isbn = {978-1-4244-6450-0}, keywords = {dblp}, pages = {441-446}, publisher = {IEEE}, timestamp = {2011-08-31T11:35:24.000+0200}, title = {Formal specification and verification of reconfigurable protocol stack for networked control system.}, url = {http://dblp.uni-trier.de/db/conf/icnsc/icnsc2010.html#ChenZHQ10}, year = 2010 }