%0 Journal Article %1 journals/tr/DenneyP14 %A Denney, Ewen %A Pai, Ganesh J. %D 2014 %J IEEE Trans. Reliability %K dblp %N 4 %P 830-849 %T Automating the Assembly of Aviation Safety Cases. %U http://dblp.uni-trier.de/db/journals/tr/tr63.html#DenneyP14 %V 63

@article{journals/tr/DenneyP14, added-at = {2016-03-09T00:00:00.000+0100}, author = {Denney, Ewen and Pai, Ganesh J.}, biburl = {https://www.bibsonomy.org/bibtex/291779e9b4add8aa804c2175efe7d46a6/dblp}, ee = {http://dx.doi.org/10.1109/TR.2014.2335995}, interhash = {cf86e7da789f6e620f3267089c9d00df}, intrahash = {91779e9b4add8aa804c2175efe7d46a6}, journal = {IEEE Trans. Reliability}, keywords = {dblp}, number = 4, pages = {830-849}, timestamp = {2016-03-10T17:39:54.000+0100}, title = {Automating the Assembly of Aviation Safety Cases.}, url = {http://dblp.uni-trier.de/db/journals/tr/tr63.html#DenneyP14}, volume = 63, year = 2014 }