TeijeMBCDHLMRRS06'

@article{DBLP:journals/artmed/TeijeMBCDHLMRRS06,
  author    = {Annette ten Teije and
               Mar Marcos and
               Michael Balser and
               Joyce van Croonenborg and
               Christoph Duelli and
               Frank van Harmelen and
               Peter J. F. Lucas and
               Silvia Miksch and
               Wolfgang Reif and
               Kitty Rosenbrand and
               Andreas Seyfang},
  title     = {Improving medical protocols by formal methods},
  journal   = {Artificial Intelligence in Medicine},
  volume    = {36},
  number    = {3},
  year      = {2006},
  pages     = {193-209},
  ee        = {http://dx.doi.org/10.1016/j.artmed.2005.10.006},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}