%0 Conference Paper %1 conf/safecomp/DenneyP16 %A Denney, Ewen %A Pai, Ganesh J. %B SAFECOMP %D 2016 %E Skavhaug, Amund %E Guiochet, Jérémie %E Bitsch, Friedemann %I Springer %K dblp %P 51-63 %T Composition of Safety Argument Patterns. %U http://dblp.uni-trier.de/db/conf/safecomp/safecomp2016.html#DenneyP16 %V 9922 %@ 978-3-319-45476-4

@inproceedings{conf/safecomp/DenneyP16, added-at = {2017-05-26T00:00:00.000+0200}, author = {Denney, Ewen and Pai, Ganesh J.}, biburl = {https://www.bibsonomy.org/bibtex/2abb67e4f27f8b51a6c5bd48528dd3b75/dblp}, booktitle = {SAFECOMP}, crossref = {conf/safecomp/2016}, editor = {Skavhaug, Amund and Guiochet, Jérémie and Bitsch, Friedemann}, ee = {https://doi.org/10.1007/978-3-319-45477-1_5}, interhash = {78686efc99f321cde31a7e7aca436b83}, intrahash = {abb67e4f27f8b51a6c5bd48528dd3b75}, isbn = {978-3-319-45476-4}, keywords = {dblp}, pages = {51-63}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T13:36:08.000+0200}, title = {Composition of Safety Argument Patterns.}, url = {http://dblp.uni-trier.de/db/conf/safecomp/safecomp2016.html#DenneyP16}, volume = 9922, year = 2016 }