LiggesmeyerM01'

BibTeX

@inproceedings{DBLP:conf/dsn/LiggesmeyerM01,
  author    = {Peter Liggesmeyer and
               Oliver M{\"a}ckel},
  title     = {Quantifying the Reliability of Embedded Systems by Automated
               Analysis},
  booktitle = {DSN},
  year      = {2001},
  pages     = {89-96},
  ee        = {http://computer.org/proceedings/dsn/1101/11010089abs.htm},
  crossref  = {DBLP:conf/dsn/2001},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/dsn/2001,
  title     = {2001 International Conference on Dependable Systems and
               Networks (DSN 2001) (formerly: FTCS), 1-4 July 2001, G{\"o}teborg,
               Sweden, Proceedings},
  booktitle = {DSN},
  publisher = {IEEE Computer Society},
  year      = {2001},
  isbn      = {0-7695-1101-5},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}