Stone04'

BibTeX

@inproceedings{DBLP:conf/scs/Stone04,
  author    = {Gordon R. Stone},
  title     = {Complex Reactive Real Time Systems and the Safety Case},
  booktitle = {SCS},
  year      = {2004},
  pages     = {23-32},
  ee        = {http://crpit.com/confpapers/CRPITV47Stone.pdf},
  crossref  = {DBLP:conf/scs/2004},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/scs/2004,
  editor    = {Anthony Cant},
  title     = {Safety Critical Systems and Software 2004, Ninth Australian
               Workshop on Safety-Related Programmable Systems, (SCS2004),
               Brisbane, Australia, October 2004},
  booktitle = {SCS},
  publisher = {Australian Computer Society},
  series    = {CRPIT},
  volume    = {47},
  year      = {2005},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}