DBLP Record 'conf/rtcsa/DongXZ99'

BibTeX

@inproceedings{DBLP:conf/rtcsa/DongXZ99,
  author    = {Shuzhen Dong and
               Qiwen Xu and
               Naijun Zhan},
  title     = {A Formal Proof of the Rate Monotonic Scheduler},
  booktitle = {RTCSA},
  year      = {1999},
  pages     = {500-},
  ee        = {http://csdl.computer.org/comp/proceedings/rtcsa/1999/0306/00/03060500abs.htm},
  crossref  = {DBLP:conf/rtcsa/1999},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/rtcsa/1999,
  title     = {6th International Workshop on Real-Time Computing and Applications
               Symposium (RTCSA '99), 13-16 December 1999, Hong Kong, China},
  booktitle = {RTCSA},
  publisher = {IEEE Computer Society},
  year      = {1999},
  isbn      = {0-7695-0306-3},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}