DBLP BibTeX Record 'conf/safecomp/RaeJRFL03'

@inproceedings{DBLP:conf/safecomp/RaeJRFL03,
  author    = {Andrew Rae and
               Daniel Jackson and
               Prasad Ramanan and
               Jay Flanz and
               Didier Leyman},
  title     = {Critical Feature Analysis of a Radiotherapy Machine},
  booktitle = {SAFECOMP},
  year      = {2003},
  pages     = {221-234},
  ee        = {http://dx.doi.org/10.1007/978-3-540-39878-3_18},
  crossref  = {DBLP:conf/safecomp/2003},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
@proceedings{DBLP:conf/safecomp/2003,
  editor    = {Stuart Anderson and
               Massimo Felici and
               Bev Littlewood},
  title     = {Computer Safety, Reliability, and Security, 22nd International
               Conference, SAFECOMP 2003, Edinburgh, UK, September 23-26,
               2003, Proceedings},
  booktitle = {SAFECOMP},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {2788},
  year      = {2003},
  isbn      = {3-540-20126-2},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}