DBLP BibTeX Record 'conf/qest/AljazzarFGKLL09'

@inproceedings{DBLP:conf/qest/AljazzarFGKLL09,
  author    = {Husain Aljazzar and
               Manuel Fischer and
               Lars Grunske and
               Matthias Kuntz and
               Florian Leitner-Fischer and
               Stefan Leue},
  title     = {Safety Analysis of an Airbag System Using Probabilistic
               FMEA and Probabilistic Counterexamples},
  booktitle = {QEST},
  year      = {2009},
  pages     = {299-308},
  ee        = {http://dx.doi.org/10.1109/QEST.2009.8, http://doi.ieeecomputersociety.org/10.1109/QEST.2009.8},
  crossref  = {DBLP:conf/qest/2009},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
@proceedings{DBLP:conf/qest/2009,
  title     = {QEST 2009, Sixth International Conference on the Quantitative
               Evaluation of Systems, Budapest, Hungary, 13-16 September
               2009},
  booktitle = {QEST},
  publisher = {IEEE Computer Society},
  year      = {2009},
  isbn      = {978-0-7695-3808-2},
  ee        = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=5290656, http://www.computer.org/csdl/proceedings/qest/2009/3808/00/index.html},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}