Observations on formal safety analysis in practice (bibtex)

by Michaela Huhn and Stefan Milius

Reference:

Michaela Huhn and Stefan Milius: Observations on formal safety analysis in practice, In Sci. Comput. Programming, 80A, pp. 150–168, 2014. Available online at http://dx.doi.org/10.1016/j.scico.2013.01.001

Bibtex Entry:

@Article{mh14,
  author = 	 {Michaela Huhn and Stefan Milius},
  title = 	 {Observations on formal safety analysis in practice},
  journal = 	 {Sci.~Comput.~Programming},
  year = 	 {2014},
  OPTkey = 	 {},
  volume = 	 {80A},
  OPTnumber = 	 {},
  pages = 	 {150--168},
  OPTmonth = 	 {},
  note = 	 {{A}vailable online at \url{http://dx.doi.org/10.1016/j.scico.2013.01.001}},
  OPTannote = 	 {}
}