Bibtex:

@inproceedings{SJW01,
  AUTHOR    = { Somesh Jha and Jeannette M. Wing,  },
  TITLE     = { Survivability Analysis of Networked Systems },
  BOOKTITLE = { Proceedings of the International Conference on Software Engineering },
  YEAR      = { 2001 },
  MONTH     = { May },
}

We welcome feedback and comments at kroening@cs.cmu.edu.
Last modified by Daniel Kröning.