DBLP Record 'conf/dsn/ThesingSHRLWF03'

BibTeX

@inproceedings{DBLP:conf/dsn/ThesingSHRLWF03,
  author    = {Stephan Thesing and
               Jean Souyris and
               Reinhold Heckmann and
               Famantanantsoa Randimbivololona and
               Marc Langenbach and
               Reinhard Wilhelm and
               Christian Ferdinand},
  title     = {An Abstract Interpretation-Based Timing Validation of Hard
               Real-Time Avionics Software},
  booktitle = {DSN},
  year      = {2003},
  pages     = {625-},
  ee        = {http://csdl.computer.org/comp/proceedings/dsn/2003/1952/00/19520625abs.htm},
  crossref  = {DBLP:conf/dsn/2003},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/dsn/2003,
  title     = {2003 International Conference on Dependable Systems and
               Networks (DSN 2003), 22-25 June 2003, San Francisco, CA,
               USA, Proceedings},
  booktitle = {DSN},
  publisher = {IEEE Computer Society},
  year      = {2003},
  isbn      = {0-7695-1952-0},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}