@article{b30af4ad88ae4d3f9c546375ee0ccb5a,
title = "Comment on: Development of a safety critical software requirements verification method with combined CPN and PVS: A nuclear power plant protection system application (multiple letters)",
author = "Taeho Kim and Sungdeok Cha and Son, {Han Seong} and Seong, {Poong Hyun}",
note = "Funding Information: This work was partially supported by the Korea Science and Engineering Foundation through the Advanced Information Technology Research Center.",
year = "2004",
month = jan,
doi = "10.1016/j.ress.2003.09.002",
language = "English",
volume = "83",
pages = "121--122",
journal = "Reliability Engineering and System Safety",
issn = "0951-8320",
publisher = "Elsevier Limited",
number = "1",
}