DBLP Record 'conf/rtcsa/RooijK99'

BibTeX

@inproceedings{DBLP:conf/rtcsa/RooijK99,
  author    = {Ruud C. M. de Rooij and
               Jan van Katwijk},
  title     = {An Approach Towards Formal Verification of Object Oriented
               Real-Time Systems},
  booktitle = {RTCSA},
  year      = {1999},
  pages     = {474-},
  ee        = {http://csdl.computer.org/comp/proceedings/rtcsa/1999/0306/00/03060474abs.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}
}