SheldonKZ01'

BibTeX

@inproceedings{DBLP:conf/prdc/SheldonKZ01,
  author    = {Frederick T. Sheldon and
               Hye Yeon Kim and
               Zhihe Zhou},
  title     = {A Case Study: Validation of Guidance Control Software Requirements
               for Completeness, Consistency and Fault Tolerance},
  booktitle = {PRDC},
  year      = {2001},
  pages     = {311-318},
  ee        = {http://csdl.computer.org/comp/proceedings/prdc/2001/1414/00/14140311abs.htm},
  crossref  = {DBLP:conf/prdc/2001},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/prdc/2001,
  title     = {8th  Pacific Rim International Symposium on Dependable Computing
               (PRDC 2001), 17-19 December 2001, Seoul, Korea},
  booktitle = {PRDC},
  publisher = {IEEE Computer Society},
  year      = {2001},
  isbn      = {0-7695-1414-6},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}