LiuJ96'

BibTeX

@inproceedings{DBLP:conf/ftcs/LiuJ96,
  author    = {Zhiming Liu and
               Mathai Joseph},
  title     = {Verification of Fault Tolerance and Real Time},
  booktitle = {FTCS},
  year      = {1996},
  pages     = {220-229},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}