%0 Journal Article %1 journals/tse/LevesonHHR94 %A Leveson, Nancy G. %A Heimdahl, Mats Per Erik %A Hildreth, Holly %A Reese, Jon Damon %D 1994 %J IEEE Trans. Software Eng. %K dblp %N 9 %P 684-707 %T Requirements Specification for Process-Control Systems. %U http://dblp.uni-trier.de/db/journals/tse/tse20.html#LevesonHHR94 %V 20

@article{journals/tse/LevesonHHR94, added-at = {2018-11-14T00:00:00.000+0100}, author = {Leveson, Nancy G. and Heimdahl, Mats Per Erik and Hildreth, Holly and Reese, Jon Damon}, biburl = {https://www.bibsonomy.org/bibtex/21ea3876887ad090eff69eab22806f4c7/dblp}, ee = {https://www.wikidata.org/entity/Q56336951}, interhash = {5b9bc7d216d646e46d568fa07388ba5c}, intrahash = {1ea3876887ad090eff69eab22806f4c7}, journal = {IEEE Trans. Software Eng.}, keywords = {dblp}, number = 9, pages = {684-707}, timestamp = {2018-11-15T14:48:12.000+0100}, title = {Requirements Specification for Process-Control Systems.}, url = {http://dblp.uni-trier.de/db/journals/tse/tse20.html#LevesonHHR94}, volume = 20, year = 1994 }