ClarkeL97'

BibTeX

@inproceedings{DBLP:conf/rtas/ClarkeL97,
  author    = {Duncan Clarke and
               Insup Lee},
  title     = {Automatic Test Generation for the Analysis of a Real-Time
               System: Case Stud},
  booktitle = {IEEE Real Time Technology and Applications Symposium},
  year      = {1997},
  pages     = {112-124},
  ee        = {http://computer.org/proceedings/rtas/8016/80160112abs.htm},
  crossref  = {DBLP:conf/rtas/1997},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/rtas/1997,
  title     = {3rd IEEE Real-Time Technology and Applications Symposium
               (RTAS '97), 9-11 June 1997, Montreal, Canada},
  booktitle = {IEEE Real-Time Technology and Applications Symposium},
  publisher = {IEEE Computer Society},
  year      = {1997},
  isbn      = {0-8186-8016-4},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}