%0 Conference Paper %1 conf/mim/LeeKYL13 %A Lee, Jong-Hoon %A Kim, Eui-Sub %A Yoo, Junbeom %A Lee, Jang-Soo %B MIM %D 2013 %E Bakhtadze, Natalia %E Chernyshov, Kirill %E Dolgui, Alexandre %E Lototsky, Vladimir %I International Federation of Automatic Control %K dblp %P 2134-2139 %T A Preliminary Report on Static Analysis of C Code for Nuclear Reactor Protection System. %U http://dblp.uni-trier.de/db/conf/mim/mim2013.html#LeeKYL13 %@ 978-3-902823-35-9

@inproceedings{conf/mim/LeeKYL13, added-at = {2014-12-01T00:00:00.000+0100}, author = {Lee, Jong-Hoon and Kim, Eui-Sub and Yoo, Junbeom and Lee, Jang-Soo}, biburl = {https://www.bibsonomy.org/bibtex/20d8be61445c025dc6de07cf6c134677b/dblp}, booktitle = {MIM}, crossref = {conf/mim/2013}, editor = {Bakhtadze, Natalia and Chernyshov, Kirill and Dolgui, Alexandre and Lototsky, Vladimir}, ee = {http://dx.doi.org/10.3182/20130619-3-RU-3018.00259}, interhash = {3d363b840426aabf080f0af10ceb1101}, intrahash = {0d8be61445c025dc6de07cf6c134677b}, isbn = {978-3-902823-35-9}, keywords = {dblp}, pages = {2134-2139}, publisher = {International Federation of Automatic Control}, timestamp = {2015-06-18T15:10:53.000+0200}, title = {A Preliminary Report on Static Analysis of C Code for Nuclear Reactor Protection System.}, url = {http://dblp.uni-trier.de/db/conf/mim/mim2013.html#LeeKYL13}, year = 2013 }