BibTeX record conf/europlop/RauhamakiK13

download as .bib file

@inproceedings{DBLP:conf/europlop/RauhamakiK13,
  author    = {Jari Rauham{\"{a}}ki and
               Seppo Kuikka},
  title     = {Patterns for control system safety},
  booktitle = {EuroPLoP},
  pages     = {23:1--23:11},
  publisher = {{ACM}},
  year      = {2013}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics