KulkarniRS99'

BibTeX

@inproceedings{DBLP:conf/wss/KulkarniRS99,
  author    = {Sandeep S. Kulkarni and
               John M. Rushby and
               Natarajan Shankar},
  title     = {A case-study in component-based mechanical verification
               of fault-tolerant programs},
  booktitle = {WSS},
  year      = {1999},
  pages     = {33-40},
  crossref  = {DBLP:conf/wss/1999},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/wss/1999,
  editor    = {Anish Arora},
  title     = {1999 ICDCS Workshop on Self-stabilizing Systems, Austin,
               Texas, June 5, 1999, Proceedings},
  booktitle = {WSS},
  publisher = {IEEE Computer Society},
  year      = {1999},
  isbn      = {0-7695-0228-8},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}