%0 Conference Paper %1 conf/safecomp/DenneyP13 %A Denney, Ewen %A Pai, Ganesh %B SAFECOMP %D 2013 %E Bitsch, Friedemann %E Guiochet, Jérémie %E Kaâniche, Mohamed %I Springer %K dblp %P 21-32 %T A Formal Basis for Safety Case Patterns. %U http://dblp.uni-trier.de/db/conf/safecomp/safecomp2013.html#DenneyP13 %V 8153 %@ 978-3-642-40792-5

@inproceedings{conf/safecomp/DenneyP13, added-at = {2017-05-26T00:00:00.000+0200}, author = {Denney, Ewen and Pai, Ganesh}, biburl = {https://www.bibsonomy.org/bibtex/254166c1fadc4d124e61dace271631693/dblp}, booktitle = {SAFECOMP}, crossref = {conf/safecomp/2013}, editor = {Bitsch, Friedemann and Guiochet, Jérémie and Kaâniche, Mohamed}, ee = {https://doi.org/10.1007/978-3-642-40793-2_3}, interhash = {877ef77e3fdbf49cfe44c4bf9e1c9d62}, intrahash = {54166c1fadc4d124e61dace271631693}, isbn = {978-3-642-40792-5}, keywords = {dblp}, pages = {21-32}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T13:36:20.000+0200}, title = {A Formal Basis for Safety Case Patterns.}, url = {http://dblp.uni-trier.de/db/conf/safecomp/safecomp2013.html#DenneyP13}, volume = 8153, year = 2013 }