%0 Conference Paper %1 conf/safecomp/AmorimRDS15 %A Amorim, Tiago %A Ruiz, Alejandra %A Dropmann, Christoph %A Schneider, Daniel %B SAFECOMP Workshops %D 2015 %E Koornneef, Floor %E van Gulijk, Coen %I Springer %K dblp %P 357-368 %T Multidirectional Modular Conditional Safety Certificates. %U http://dblp.uni-trier.de/db/conf/safecomp/safecomp2015w.html#AmorimRDS15 %V 9338 %@ 978-3-319-24248-4

@inproceedings{conf/safecomp/AmorimRDS15, added-at = {2022-01-03T00:00:00.000+0100}, author = {Amorim, Tiago and Ruiz, Alejandra and Dropmann, Christoph and Schneider, Daniel}, biburl = {https://www.bibsonomy.org/bibtex/259ffa09ea465e685f773f554faa38b3c/dblp}, booktitle = {SAFECOMP Workshops}, crossref = {conf/safecomp/2015w}, editor = {Koornneef, Floor and van Gulijk, Coen}, ee = {https://doi.org/10.1007/978-3-319-24249-1_31}, interhash = {809b03005ab0cc62d4b2810ebdddff2b}, intrahash = {59ffa09ea465e685f773f554faa38b3c}, isbn = {978-3-319-24248-4}, keywords = {dblp}, pages = {357-368}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T08:27:06.000+0200}, title = {Multidirectional Modular Conditional Safety Certificates.}, url = {http://dblp.uni-trier.de/db/conf/safecomp/safecomp2015w.html#AmorimRDS15}, volume = 9338, year = 2015 }