TaiSACT02'

@inproceedings{DBLP:conf/dsn/TaiSACT02,
  author    = {Ann T. Tai and
               William H. Sanders and
               Leon Alkalai and
               Savio N. Chau and
               Kam S. Tso},
  title     = {Performability Analysis of Guarded-Operation Duration: A
               Successive Model-Translation Approach},
  booktitle = {DSN},
  year      = {2002},
  pages     = {561-570},
  ee        = {http://doi.ieeecomputersociety.org/10.1109/DSN.2002.1029002},
  crossref  = {DBLP:conf/dsn/2002},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/dsn/2002,
  title     = {2002 International Conference on Dependable Systems and
               Networks (DSN 2002), 23-26 June 2002, Bethesda, MD, USA,
               Proceedings},
  booktitle = {DSN},
  publisher = {IEEE Computer Society},
  year      = {2002},
  isbn      = {0-7695-1597-5},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}