JetleyCI04'

BibTeX

@article{DBLP:journals/sttt/JetleyCI04,
  author    = {Raoul Praful Jetley and
               Cohan Carlos and
               S. Purushothaman Iyer},
  title     = {A case study on applying formal methods to medical devices:
               computer-aided resuscitation algorithm},
  journal   = {STTT},
  volume    = {5},
  number    = {4},
  year      = {2004},
  pages     = {320-330},
  ee        = {http://www.springerlink.com/index/10.1007/s10009-003-0137-2},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}