BibTeX record: conf/qest/AljazzarFGKLL09

download as .bib file

@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} 2009, Sixth International Conference on the Quantitative Evaluation
               of Systems, Budapest, Hungary, 13-16 September 2009},
  year      = {2009},
  pages     = {299--308},
  crossref  = {DBLP:conf/qest/2009},
  url       = {http://dx.doi.org/10.1109/QEST.2009.8},
  doi       = {10.1109/QEST.2009.8},
  timestamp = {Wed, 22 Oct 2014 08:48:02 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/qest/AljazzarFGKLL09},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/qest/2009,
  title     = {{QEST} 2009, Sixth International Conference on the Quantitative Evaluation
               of Systems, Budapest, Hungary, 13-16 September 2009},
  year      = {2009},
  publisher = {{IEEE} Computer Society},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=5290656},
  isbn      = {978-0-7695-3808-2},
  timestamp = {Wed, 22 Oct 2014 08:48:02 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/qest/2009},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}