BernardiD01'

@inproceedings{DBLP:conf/dsn/BernardiD01,
  author    = {Simona Bernardi and
               Susanna Donatelli},
  title     = {Performance Validation of Fault-Tolerance Software: A Compositional
               Approach},
  booktitle = {DSN},
  year      = {2001},
  pages     = {379-388},
  ee        = {http://doi.ieeecomputersociety.org/10.1109/DSN.2001.941422},
  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}
}