%0 Journal Article %1 journals/software/KimCKBK13 %A Kim, Young Joo %A Choi, Okjoo %A Kim, Moonzoo %A Baik, Jongmoon %A Kim, Tai-Hyo %D 2013 %J IEEE Software %K dblp %N 3 %P 35-41 %T Validating Software Reliability Early through Statistical Model Checking. %U http://dblp.uni-trier.de/db/journals/software/software30.html#KimCKBK13 %V 30

@article{journals/software/KimCKBK13, added-at = {2016-01-12T00:00:00.000+0100}, author = {Kim, Young Joo and Choi, Okjoo and Kim, Moonzoo and Baik, Jongmoon and Kim, Tai-Hyo}, biburl = {https://www.bibsonomy.org/bibtex/2b44f63bf6ef21092c321904a231ff2d2/dblp}, ee = {http://doi.ieeecomputersociety.org/10.1109/MS.2013.24}, interhash = {7b2a42614d9ade93f6525e7c3e4d1b0d}, intrahash = {b44f63bf6ef21092c321904a231ff2d2}, journal = {IEEE Software}, keywords = {dblp}, number = 3, pages = {35-41}, timestamp = {2016-01-13T11:39:13.000+0100}, title = {Validating Software Reliability Early through Statistical Model Checking.}, url = {http://dblp.uni-trier.de/db/journals/software/software30.html#KimCKBK13}, volume = 30, year = 2013 }