DBLP Record 'conf/IEEEares/BucklRKS07'

BibTeX

@inproceedings{DBLP:conf/IEEEares/BucklRKS07,
  author    = {Christian Buckl and
               Matthias Regensburger and
               Alois Knoll and
               Gerhard Schrott},
  title     = {Models for automatic generation of safety-critical real-time
               systems},
  booktitle = {ARES},
  year      = {2007},
  pages     = {580-587},
  ee        = {http://doi.ieeecomputersociety.org/10.1109/ARES.2007.106},
  crossref  = {DBLP:conf/IEEEares/2007},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/IEEEares/2007,
  title     = {Proceedings of the The Second International Conference on
               Availability, Reliability and Security, ARES 2007, The International
               Dependability Conference - Bridging Theory and Practice,
               April 10-13 2007, Vienna, Austria},
  booktitle = {ARES},
  publisher = {IEEE Computer Society},
  year      = {2007},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}