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      = {Artif. Intell. 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    = {Mon, 26 Oct 2020 08:39:35 +0100},
  biburl       = {https://dblp.org/rec/journals/artmed/TeijeMBCDHLMRRS06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics