BibTeX record journals/artmed/TeijeMBCDHLMRRS06

download as .bib file

@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},
  pages     = {193--209},
  year      = {2006},
  url       = {https://doi.org/10.1016/j.artmed.2005.10.006},
  doi       = {10.1016/j.artmed.2005.10.006},
  timestamp = {Sat, 16 Sep 2017 12:02:34 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/artmed/TeijeMBCDHLMRRS06},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
maintained by Schloss Dagstuhl LZI at University of Trier