%0 Conference Paper %1 conf/safecomp/DenneyP15 %A Denney, Ewen %A Pai, Ganesh J. %B SAFECOMP %D 2015 %E Koornneef, Floor %E van Gulijk, Coen %I Springer %K %P 328-343 %T Towards a Formal Basis for Modular Safety Cases. %U http://dblp.uni-trier.de/db/conf/safecomp/safecomp2015.html#DenneyP15 %V 9337 %@ 978-3-319-24254-5

@inproceedings{conf/safecomp/DenneyP15, added-at = {2023-12-12T19:17:52.000+0100}, author = {Denney, Ewen and Pai, Ganesh J.}, biburl = {https://www.bibsonomy.org/bibtex/2ae9a602e50284f25803a6e820212e64a/admin}, booktitle = {SAFECOMP}, crossref = {conf/safecomp/2015}, editor = {Koornneef, Floor and van Gulijk, Coen}, ee = {https://doi.org/10.1007/978-3-319-24255-2_24}, interhash = {1e9d8cc6bc4ff725ac5c1817a7f50f77}, intrahash = {ae9a602e50284f25803a6e820212e64a}, isbn = {978-3-319-24254-5}, keywords = {}, pages = {328-343}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2023-12-12T19:17:52.000+0100}, title = {Towards a Formal Basis for Modular Safety Cases.}, url = {http://dblp.uni-trier.de/db/conf/safecomp/safecomp2015.html#DenneyP15}, volume = 9337, year = 2015 }