DBLP Record 'conf/dsn/NguyenO03'

BibTeX

@inproceedings{DBLP:conf/dsn/NguyenO03,
  author    = {Thuy Nguyen and
               Alain Ourghanlian},
  title     = {Dependability Assessment of Safety-Critical System Software
               by Static Analysis Methods},
  booktitle = {DSN},
  year      = {2003},
  pages     = {75-79},
  ee        = {http://csdl.computer.org/comp/proceedings/dsn/2003/1952/00/19520075abs.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}
}